diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 21:22:09 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 0d15863538e8de52021258dfaeadf8103be6c290 (patch) | |
| tree | 9f66166c8f1331c5d8aee0dc01f40d601398868e /scripts/build | |
| parent | abec20c8cf805c4b2835608d561111da6e2e800f (diff) | |
| download | klee-0d15863538e8de52021258dfaeadf8103be6c290.tar.gz | |
Fix check if sqlite is installed under ubuntu as a systems package
Diffstat (limited to 'scripts/build')
| -rw-r--r-- | scripts/build/p-sqlite-linux-ubuntu.inc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/build/p-sqlite-linux-ubuntu.inc b/scripts/build/p-sqlite-linux-ubuntu.inc index 158ea41c..6f90c680 100644 --- a/scripts/build/p-sqlite-linux-ubuntu.inc +++ b/scripts/build/p-sqlite-linux-ubuntu.inc @@ -23,9 +23,13 @@ install_binary_artifact_sqlite() { # Check if the binary artifact is installed is_installed_sqlite() { [[ -f /usr/lib/x86_64-linux-gnu/libsqlite3.so ]] || return 1 - return 0 + [[ -f /usr/include/sqlite3.h ]] || return 1 } get_docker_config_id_sqlite() { return 0 } + +get_build_artifacts_sqlite() { + return 0 +} \ No newline at end of file |