From 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Mon, 15 Mar 2021 20:45:58 +0100
Subject: [PATCH] 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.
---
 contrib/get-cryptominisat | 1 +
 1 file changed, 1 insertion(+)

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