From 0524923c1afaa425ba451edad9b138434155eca8 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Fri, 17 Apr 2015 20:00:54 +0200
Subject: [PATCH] Apparently builds are sometimes failing, so lets host our own

---
 travis/fetchCVC4.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/travis/fetchCVC4.sh b/travis/fetchCVC4.sh
index e18b54867..6c894862c 100755
--- a/travis/fetchCVC4.sh
+++ b/travis/fetchCVC4.sh
@@ -1,7 +1,6 @@
-d=`date +%Y-%m-%d --date="2 days ago"`
 dir=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
 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
 
-- 
GitLab