diff options
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 +} |