From 965d72d92f11a9d125fc283896f6400fb0f2ccc9 Mon Sep 17 00:00:00 2001 From: Martin Monperrus Date: Thu, 7 May 2020 13:21:54 +0200 Subject: [PATCH] fix(travis-extra.sh): download z3 lib from ow2 instead of github for CI (#3356) --- chore/travis/travis-extra.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/chore/travis/travis-extra.sh b/chore/travis/travis-extra.sh index 110d070335e..d2bffe374b7 100755 --- 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