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