fix(travis-extra.sh): download z3 lib from ow2 instead of github for …

…CI (INRIA#3356)
woutersmeenk · May 7, 2020 · 965d72d · 965d72d
1 parent c83e023
commit 965d72d
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/chore/travis/travis-extra.sh b/chore/travis/travis-extra.sh
@@ -72,7 +72,11 @@ cd ../spoon-dataflow
 export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
 
 # download and install z3 lib
-wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
+# the github URL is rate limited, and this results in flaky CI
+# wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.4/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
+# so we have a copy on OW2
+wget https://projects.ow2.org/download/spoon/WebHome/z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
+
 unzip z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04.zip
 export LD_LIBRARY_PATH=./z3-4.8.4.d6df51951f4c-x64-ubuntu-14.04/bin