diff options
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/cryptominisat-4.2.0.patch | 12 | ||||
-rwxr-xr-x | contrib/get-cryptominisat4 | 57 |
2 files changed, 69 insertions, 0 deletions
diff --git a/contrib/cryptominisat-4.2.0.patch b/contrib/cryptominisat-4.2.0.patch new file mode 100644 index 000000000..30b24a3cc --- /dev/null +++ b/contrib/cryptominisat-4.2.0.patch @@ -0,0 +1,12 @@ +diff -ruN orig/CMakeLists.txt new/CMakeLists.txt +--- CMakeLists.txt 2016-05-24 22:05:50.702570824 -0700 ++++ patched.txt 2016-05-24 22:05:57.778570529 -0700 +@@ -132,7 +132,7 @@ + set(CMAKE_FIND_LIBRARY_SUFFIXES ".a") + SET(Boost_USE_STATIC_LIBS ON) + set(CMAKE_EXE_LINKER_FLAGS "-static -Wl,--whole-archive -lpthread -Wl,--no-whole-archive") +- ++ add_cxx_flag_if_supported("-fPIC") + set(NOMYSQL ON) + else() + add_definitions(-DBOOST_TEST_DYN_LINK) diff --git a/contrib/get-cryptominisat4 b/contrib/get-cryptominisat4 new file mode 100755 index 000000000..a1a8cb786 --- /dev/null +++ b/contrib/get-cryptominisat4 @@ -0,0 +1,57 @@ +#!/bin/bash +# +set -e + +version="4.2.0" + +cd "$(dirname "$0")/.." + +if ! [ -e src/parser/cvc/Cvc.g ]; then + echo "$(basename $0): I expect to be in the contrib/ of a CVC4 source tree," >&2 + echo "but apparently:" >&2 + echo >&2 + echo " $(pwd)" >&2 + echo >&2 + echo "is not a CVC4 source tree ?!" >&2 + exit 1 +fi + +function webget { + if which wget &>/dev/null; then + wget -c -O "$2" "$1" + elif which curl &>/dev/null; then + curl "$1" >"$2" + else + echo "Can't figure out how to download from web. Please install wget or curl." >&2 + exit 1 + fi +} + +if [ -e cryptominisat4 ]; then + echo 'error: file or directory "cryptominisat4" exists; please move it out of the way.' >&2 + exit 1 +fi + +mkdir cryptominisat4 +cd cryptominisat4 +CRYPTOMINISAT_PATH=`pwd` + +webget https://github.com/msoos/cryptominisat/archive/$version.tar.gz cryptominisat-$version.tar.gz +gunzip -f cryptominisat-$version.tar.gz +tar xfv cryptominisat-$version.tar +cd cryptominisat-$version + +patch -p0 < ../../contrib/cryptominisat-4.2.0.patch +patch -p0 < ../../contrib/cryptominisat-4.2.0.second.patch + +mkdir ../build +cd ../build + +cmake -DCMAKE_INSTALL_PREFIX:PATH=$CRYPTOMINISAT_PATH/install -DSTATICCOMPILE="ON" ../cryptominisat-$version +make install -j2 + +cd ../ + +echo +echo ===================== Now configure CVC4 with ===================== +echo ./configure --with-cryptominisat --with-cryptominisat-dir=`pwd` |