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 mkdir cryptominisat5
  13 cd cryptominisat5
  14 CRYPTOMINISAT_PATH=`pwd`
  15
  16 webget https://github.com/msoos/cryptominisat/archive/$version.tar.gz cryptominisat-$version.tar.gz
  17 gunzip -f cryptominisat-$version.tar.gz
  18 tar xfv cryptominisat-$version.tar
  19 cd cryptominisat-$version
  20
  21 mkdir ../build
  22 cd ../build
  23
  24 cmake -DENABLE_PYTHON_INTERFACE=OFF \
  25       -DCMAKE_INSTALL_PREFIX:PATH=$CRYPTOMINISAT_PATH/install \
  26       -DSTATICCOMPILE=ON \
  27       -DNOM4RI=ON \
  28       ../cryptominisat-$version
  29
  30 make install -j$(nproc)
  31
  32 cd ../
  33
  34 echo
  35 echo ===================== Now configure CVC4 with =====================
  36 echo ./configure --with-cryptominisat