README.smtcomp2010


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/bash -ex
#
# This is the version submitted to SMT-COMP 2010.
#
# It was checked out, clean, then compiled with this
# script on goedel.cims.nyu.edu.
#
./autogen.sh
./configure competition
make
strip builds/bin/cvc4
make check
mkdir cvc4-1.0a0-smtcomp2010
cp smtcomp2010-runscript cvc4-smtcomp2010/run
chmod 755 cvc4-smtcomp2010/run
cp builds/bin/cvc4 cvc4-smtcomp2010/cvc4
tar cfzv cvc4-1.0a0-smtcomp2010