Skip to content
Snippets Groups Projects
Commit 777828e5 authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Fetch a more recent CVC4

parent 0ae4a527
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
travis/fetchCVC4.sh
+ 1
− 1
View file @ 777828e5
dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P) dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
mkdir -p $dir/builds mkdir -p $dir/builds
curl http://lara.epfl.ch/~ekneuss/cvc4-builds/cvc4-2015-04-17-x86_64-linux-opt -o $dir/builds/cvc4 curl http://lara.epfl.ch/~ekneuss/cvc4-builds/cvc4-2015-05-03-x86_64-linux-opt -o $dir/builds/cvc4
chmod u+x $dir/builds/cvc4 chmod u+x $dir/builds/cvc4
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment