From 6ae6db2db6f1825d2f80dd75dd334c2e1f90cf19 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 31 Mar 2020 13:12:01 +0100
Subject: Don't search for CryptoMiniSAT when configuring STP

---
 scripts/build/p-stp.inc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
+}
-- 
cgit 1.4.1