diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-31 13:12:01 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-31 22:01:15 +0100 |
| commit | 6ae6db2db6f1825d2f80dd75dd334c2e1f90cf19 (patch) | |
| tree | acbad4aa25680d2a16820dd40357c1f1677361c4 /scripts | |
| parent | bcaa958dcd645599382c3063ea87ad6e878210fc (diff) | |
| download | klee-6ae6db2db6f1825d2f80dd75dd334c2e1f90cf19.tar.gz | |
Don't search for CryptoMiniSAT when configuring STP
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/p-stp.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/p-stp.inc b/scripts/build/p-stp.inc index 9bbc90d9..bcdbe401 100644 --- a/scripts/build/p-stp.inc +++ b/scripts/build/p-stp.inc @@ -65,6 +65,7 @@ build_stp() { "-DNO_BOOST:BOOL=ON" "-DENABLE_PYTHON_INTERFACE:BOOL=OFF" "-DONLY_SIMPLE:BOOL=ON" + "-DNOCRYPTOMINISAT=ON" "-DCMAKE_PREFIX_PATH=${MINISAT_INSTALL_PATH}" "-DCMAKE_INSTALL_PREFIX=${STP_INSTALL_PATH}" ) @@ -110,4 +111,4 @@ get_docker_config_id_stp() { stp_remote_commit="$(get_git_hash "${stp_url}" "${STP_VERSION}")" echo "${stp_remote_commit}${STP_SUFFIX}" ) -} \ No newline at end of file +} |