projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 216f3c9)
Disable sqlite (#6145)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 15 Mar 2021 19:45:58 +0000 (20:45 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Mar 2021 19:45:58 +0000 (19:45 +0000)
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.

contrib/get-cryptominisat patch | blob | history

diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat
index 263939bcc312be739e186a84e740c697a15a0b63..655a76eaeccdec946ef905862ba98880b6eda8b7 100755 (executable)
--- 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" \
       ..