diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-15 20:45:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-15 19:45:58 +0000 |
commit | 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b (patch) | |
tree | 396787da8880a099dd7b735d2a3a60a01cf0d78c /contrib | |
parent | 216f3c9fb07a08909942b91a2a4739cd178f5a72 (diff) |
Disable sqlite (#6145)
Cryptominisat supports writing statistics to a sqlite3 database, and automatically enabled it when it can find sqlite bindings.
This disables sqlite3, as we don't need it anyway.
Fixes #6131.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-cryptominisat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat index 263939bcc..655a76eae 100755 --- a/contrib/get-cryptominisat +++ b/contrib/get-cryptominisat @@ -15,6 +15,7 @@ cd build cmake -DENABLE_PYTHON_INTERFACE=OFF \ -DSTATICCOMPILE=ON \ -DNOM4RI=ON \ + -DNOSQLITE=ON \ -DONLY_SIMPLE=ON \ -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" \ .. |