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

Apparently builds are sometimes failing, so lets host our own

parent 634f5761
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
travis/fetchCVC4.sh
+ 1
− 2
View file @ 0524923c
d=`date +%Y-%m-%d --date="2 days ago"`
dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P) dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
mkdir -p $dir/builds mkdir -p $dir/builds
curl http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-$d-x86_64-linux-opt -o $dir/builds/cvc4 curl http://lara.epfl.ch/~ekneuss/cvc4-builds/cvc4-2015-04-17-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.
Please register or to comment