From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Mon, 15 Mar 2021 19:45:58 +0000 (+0100)
Subject: Disable sqlite (#6145)
X-Git-Tag: cvc5-1.0.0~2076
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5bbb45b820b9d695c29182f4dd2fc13fd9997e4b;p=cvc5.git

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.
---

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" \
       ..