about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorFelix Rath <felix.rath@comsys.rwth-aachen.de>2019-11-26 17:43:44 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-11-26 22:00:29 +0000
commit31d4d0830add0987f64fd0b6ff2dadd6de387697 (patch)
tree9f58c3b2ceb58f560a1304f47a88bb13dd4b15a0 /scripts/build
parent3af34e6095ee64332c089c98128dcfbcccced65e (diff)
downloadklee-31d4d0830add0987f64fd0b6ff2dadd6de387697.tar.gz
remove python2 from osx CI
Python 2 should not be needed anymore, so we remove it from osx CI.
Diffstat (limited to 'scripts/build')
-rw-r--r--scripts/build/p-klee-osx.inc12
1 files changed, 1 insertions, 11 deletions
diff --git a/scripts/build/p-klee-osx.inc b/scripts/build/p-klee-osx.inc
index 56e02c8f..c25eed57 100644
--- a/scripts/build/p-klee-osx.inc
+++ b/scripts/build/p-klee-osx.inc
@@ -1,15 +1,5 @@
 # Build dependencies
 install_build_dependencies_klee() {
-  set +e
   brew upgrade python               # upgrade to Python 3
-  brew install python@2             # install Python 2 (OSX version outdated + pip missing)
-  brew link --overwrite python@2    # keg-only => link manually
-  rm -f /usr/local/bin/{python,pip} # re-link python/pip to Python 2
-  py2path=$(find /usr/local/Cellar/python@2/ -name "python" -type f | head -n 1)
-  pip2path=$(find /usr/local/Cellar/python@2/ -name "pip" -type f | head -n 1)
-  ln -s "${py2path}" /usr/local/bin/python
-  ln -s "${pip2path}" /usr/local/bin/pip
-  set -e
-  pip install lit
-  pip3 install tabulate
+  pip3 install lit tabulate
 }
\ No newline at end of file