scripts/build/p-klee-osx.inc


1
2
3
4
5
6
7
8
9
10
11
12
13
14

# 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
}