diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-06 14:45:35 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-24 07:47:42 +0000 |
| commit | 3d6db3261b124bc1705eb647f8c8bea89d936af6 (patch) | |
| tree | 3d3e83932b1d3d3cdb74d2450ed78859d85644ed /.travis/testing-utils.sh | |
| parent | 959a810cffa91f896021ae2148eced373f283670 (diff) | |
| download | klee-3d6db3261b124bc1705eb647f8c8bea89d936af6.tar.gz | |
[Travis-CI] Added support for macOS build
Diffstat (limited to '.travis/testing-utils.sh')
| -rwxr-xr-x | .travis/testing-utils.sh | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/.travis/testing-utils.sh b/.travis/testing-utils.sh index 3d52457f..29295be2 100755 --- a/.travis/testing-utils.sh +++ b/.travis/testing-utils.sh @@ -18,11 +18,16 @@ if [ "${LLVM_VERSION}" != "2.9" ]; then cmake . make # Normally I wouldn't do something like this but hey we're running on a temporary virtual machine, so who cares? - sudo cp lib* /usr/lib/ - sudo cp -r include/gtest /usr/include + if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then + sudo cp lib* /usr/lib/ + sudo cp -r include/gtest /usr/include + else # OSX + sudo cp lib* /usr/local/lib/ + sudo cp -r include/gtest /usr/local/include + fi else # LLVM2.9 on the other hand is a pain - + # We need the version of GoogleTest used in LLVM2.9 # This is a hack old_dir=`pwd` @@ -45,4 +50,3 @@ else cd "${old_dir}" fi - |