cd src

cmake -DCMAKE_INSTALL_PREFIX="${SAGE_LOCAL}" -DUSE_GAUSS='ON' \
    -DZLIB_ROOT="${SAGE_LOCAL}" . || sdh_die 'Error configuring cryptominisat'

sdh_make VERBOSE=ON
sdh_make_install VERBOSE=ON
