diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-06-26 13:32:57 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-06-26 18:37:32 +0100 |
| commit | cbf2d13e10f1290164e601328301c7fce89cc1d1 (patch) | |
| tree | a2dd5efbe6d18737c8d9f85389c37fa162c534d8 | |
| parent | ecb3e97abaea6e1bc83f561d933afce18f63a8c3 (diff) | |
| download | klee-cbf2d13e10f1290164e601328301c7fce89cc1d1.tar.gz | |
Switch to a more recent version of SQLite in the CI
| -rw-r--r-- | scripts/build/p-sqlite.inc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build/p-sqlite.inc b/scripts/build/p-sqlite.inc index 2ba93ce3..65d3c22c 100644 --- a/scripts/build/p-sqlite.inc +++ b/scripts/build/p-sqlite.inc @@ -1,5 +1,5 @@ setup_build_variables_sqlite() { - SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-3270200" + SQLITE_SRC_PATH="${BASE}/sqlite-amalgamation-3320300" SQLITE_INSTALL_PATH=${SQLITE_SRC_PATH} SQLITE_SUFFIX="${SANITIZER_SUFFIX}" } @@ -7,8 +7,8 @@ setup_build_variables_sqlite() { download_sqlite() { # Get sqlite release cd "${BASE}" - wget "http://www.sqlite.org/2019/sqlite-amalgamation-3270200.zip" - unzip "sqlite-amalgamation-3270200.zip" + wget --no-check-certificate "https://www.sqlite.org/2020/sqlite-amalgamation-3320300.zip" + unzip "sqlite-amalgamation-3320300.zip" } build_sqlite() { |