OLD | NEW |
1 #!/bin/bash | 1 #!/bin/bash |
2 # | 2 # |
3 # Copyright 2007 Google Inc. All Rights Reserved. | 3 # Copyright 2007 Google Inc. All Rights Reserved. |
4 # Author: shess@google.com (Scott Hess) | 4 # Author: shess@google.com (Scott Hess) |
5 | 5 |
6 mkdir bld | 6 mkdir bld |
7 cd bld | 7 cd bld |
8 ../configure | 8 ../configure |
9 FILES="keywordhash.h opcodes.c opcodes.h parse.c parse.h sqlite3.h" | 9 FILES="keywordhash.h opcodes.c opcodes.h parse.c parse.h sqlite3.h" |
10 OPTS="" | 10 OPTS="" |
11 # These options should match those in ../../tools/config.mk. | 11 # These options should match those in ../../tools/config.mk. |
12 OPTS="$OPTS -DSQLITE_OMIT_LOAD_EXTENSION=1" | 12 OPTS="$OPTS -DSQLITE_OMIT_LOAD_EXTENSION=1" |
13 OPTS="$OPTS -DSQLITE_TRANSACTION_DEFAULT_IMMEDIATE=1" | |
14 make "OPTS=$OPTS" $FILES | 13 make "OPTS=$OPTS" $FILES |
15 cp -f $FILES ../preprocessed | 14 cp -f $FILES ../preprocessed |
16 | 15 |
17 cd .. | 16 cd .. |
18 rm -rf bld | 17 rm -rf bld |
19 | 18 |
20 # TODO(shess) I can't find config.h, which exists in the original | 19 # TODO(shess) I can't find config.h, which exists in the original |
21 # third_party/sqlite/ directory. I also haven't found a client of it, | 20 # third_party/sqlite/ directory. I also haven't found a client of it, |
22 # yet, so maybe it's not a file we need. | 21 # yet, so maybe it's not a file we need. |
OLD | NEW |