From 0334b3bda8191d56a18efdc2d2483f95f7fc1825 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 26 Sep 2018 14:30:00 +0100 Subject: Revert lit to 0.6.0 version, as 0.7.0 misbehaves --- scripts/build/build-travis.sh | 2 +- scripts/build/dependencies-ubuntu.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') diff --git a/scripts/build/build-travis.sh b/scripts/build/build-travis.sh index 47e3f088..d887619a 100755 --- a/scripts/build/build-travis.sh +++ b/scripts/build/build-travis.sh @@ -14,7 +14,7 @@ elif [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew link --overwrite python@2 fi set -e - pip install lit + pip install lit==0.6.0 export PATH="/usr/local/opt/ccache/libexec:$PATH" "${KLEE_SRC_TRAVIS}/scripts/build/install-klee-deps.sh" else diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh index 52e161fd..d5d4a36a 100755 --- a/scripts/build/dependencies-ubuntu.sh +++ b/scripts/build/dependencies-ubuntu.sh @@ -40,4 +40,4 @@ apt -y --no-install-recommends install \ apt clean # Install lit for testing -pip3 install wheel && pip3 install lit +pip3 install wheel && pip3 install lit==0.6.0 -- cgit 1.4.1