contrib/get-cryptominisat

   1 #!/bin/bash
   2 #
   3 source "$(dirname "$0")/get-script-header.sh"
   4
   5 if [ -e cryptominisat5 ]; then
   6   echo 'error: file or directory "cryptominisat5" exists; please move it out of the way.' >&2
   7   exit 1
   8 fi
   9
  10 version="5.6.3"
  11
  12 webget https://github.com/msoos/cryptominisat/archive/$version.tar.gz cryptominisat-$version.tar.gz
  13 tar xfvz cryptominisat-$version.tar.gz
  14 rm cryptominisat-$version.tar.gz
  15 mv cryptominisat-$version cryptominisat5
  16
  17 cd cryptominisat5
  18 mkdir build
  19 cd build
  20
  21 cmake -DENABLE_PYTHON_INTERFACE=OFF \
  22       -DSTATICCOMPILE=ON \
  23       -DNOM4RI=ON \
  24       ..
  25
  26 make libcryptominisat5 -j$(nproc)
  27
  28 echo
  29 echo ===================== Now configure CVC4 with =====================
  30 echo ./configure.sh --cryptominisat