diff options
Diffstat (limited to 'scripts/build/p-klee-osx.inc')
| -rw-r--r-- | scripts/build/p-klee-osx.inc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/build/p-klee-osx.inc b/scripts/build/p-klee-osx.inc new file mode 100644 index 00000000..2aa5c3e8 --- /dev/null +++ b/scripts/build/p-klee-osx.inc @@ -0,0 +1,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 +} \ No newline at end of file |