blob: e465ab3d43f3a16d07ee674f4a1f45660f3624d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/bash
#
source "$(dirname "$0")/get-script-header.sh"
if [ -e drat2er ]; then
echo 'error: file or directory "drat2er" exists; please move it out of the way.' >&2
exit 1
fi
git clone https://github.com/alex-ozdemir/drat2er.git
cd drat2er
git checkout api
mkdir build
cd build
cmake .. -DCMAKE_INSTALL_PREFIX=$(pwd)/install
make install
echo
echo ===================== Now configure CVC4 with =====================
echo ./configure.sh --drat2er
|