diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-25 23:09:05 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | 9678ab3a6ac1fb08c12899350586ddd1548046ed (patch) | |
| tree | c5fb24355aabed02f48e6faf5e7a5ea0e95c2a1b /scripts/build | |
| parent | ebdaaf1407035d02dcf9eb2b7a93abc4387ba4ae (diff) | |
| download | klee-9678ab3a6ac1fb08c12899350586ddd1548046ed.tar.gz | |
Use newer sqlite version using the build script
Diffstat (limited to 'scripts/build')
| -rw-r--r-- | scripts/build/p-sqlite.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/p-sqlite.inc b/scripts/build/p-sqlite.inc index 832af56a..3c41ccc6 100644 --- a/scripts/build/p-sqlite.inc +++ b/scripts/build/p-sqlite.inc @@ -1,5 +1,5 @@ setup_build_variables_sqlite() { - SQLITE_VERSION="3320300" + SQLITE_VERSION="3370200" SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-${SQLITE_VERSION}" SQLITE_INSTALL_PATH=${SQLITE_SRC_PATH} SQLITE_SUFFIX="${SANITIZER_SUFFIX}" @@ -8,7 +8,7 @@ setup_build_variables_sqlite() { download_sqlite() { # Get sqlite release cd "${BASE}" - wget --no-check-certificate "https://www.sqlite.org/2020/sqlite-amalgamation-${SQLITE_VERSION}.zip" + wget --no-check-certificate "https://www.sqlite.org/2022/sqlite-amalgamation-${SQLITE_VERSION}.zip" unzip "sqlite-amalgamation-${SQLITE_VERSION}.zip" } |