• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• get-drat2er

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.contrib.get-drat2er Maven / Gradle / Ivy

#!/usr/bin/env bash
#
source "$(dirname "$0")/get-script-header.sh"

DRAT2ER_DIR="$DEPS_DIR/drat2er"
commit=521caf16149df3dfa46f700ec1fab56f8cc12a18

setup_dep \
  "https://github.com/alex-ozdemir/drat2er/archive/$commit.tar.gz" \
  "$DRAT2ER_DIR"
cd "$DRAT2ER_DIR"

mkdir build
cd build
cmake .. -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR"
make install -j$(nproc)

echo
echo ===================== Now configure cvc5 with =====================
echo ./configure.sh --drat2er