diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2019-03-23 11:56:55 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-04 20:37:41 +0100 |
| commit | dac0af06352ff8dc5508ee06ce7eba8d7f23da2e (patch) | |
| tree | 5206b04f38e57f92126a24ca7938d290f9649916 /scripts | |
| parent | 1e6b42fad776a56332d95b2e987bbe468794c306 (diff) | |
| download | klee-dac0af06352ff8dc5508ee06ce7eba8d7f23da2e.tar.gz | |
Fix SQLite OSX
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/p-sqlite-osx.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/build/p-sqlite-osx.inc b/scripts/build/p-sqlite-osx.inc new file mode 100644 index 00000000..1f9d2f5c --- /dev/null +++ b/scripts/build/p-sqlite-osx.inc @@ -0,0 +1,15 @@ +install_build_dependencies_sqlite() { + return 0 +} +install_binary_artifact_sqlite() { + return 0 +} + +# Sqlite is installed by default on OSX +is_installed_sqlite() { + return 0 +} + +get_docker_config_id_sqlite() { + return 0 +} |