diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-03-16 08:23:48 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-03-16 08:23:48 -0500 |
| commit | 364f4a1f0640dc1c6521438971b441317858bf74 (patch) | |
| tree | 11df17b50244a4b1caa5c823eca1d31b2141ef70 /contrib | |
| parent | a0401047e8cc32f48f4c1638306164649de65b9b (diff) | |
| parent | 5a879f4315d0105f8487c8718659a4f060ea634e (diff) | |
Merge branch 'master' of https://github.com/CVC4/CVC4 into proof-new
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" \ .. |