3
# this script has to be run after the version
7
echo '/* Automatically generated file. Do not edit */' >../src/opcodes.c
8
echo 'char *sqliteOpcodeNames[] = { "???", ' >>../src/opcodes.c
9
grep '^case OP_' ../src/vdbe.c | sed -e 's/^.*OP_/ "/' -e 's/:.*/", /' >>../src/opcodes.c
10
echo '};' >>../src/opcodes.c
12
#generate header file:
13
echo '/* Automatically generated file. Do not edit */' >../src/opcodes.h
14
grep '^case OP_' ../src/vdbe.c | sed -e 's/case //' -e 's/:[ {]*//' | awk '{printf "#define %-30s %3d\n", $$2, ++cnt}' >>../src/opcodes.h