diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-28 16:48:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | a0e13d1ba75431266dd22f4ce7ff8036e7449cb0 (patch) | |
| tree | 1452275d4efac6f69c76b5af3ff1a615e9037513 | |
| parent | 15240d999f8ec91538ef1c168716efd28e0f12ff (diff) | |
| download | klee-a0e13d1ba75431266dd22f4ce7ff8036e7449cb0.tar.gz | |
Use LLVM 6.0 for now on macOS
C++ static destructors are currently not supported for newer LLVM version. Keep older LLVM version until issue is fixed.
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 10762d59..09596e40 100644 --- a/.travis.yml +++ b/.travis.yml @@ -124,7 +124,7 @@ jobs: # macOS - name: "macOS" os: osx - env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0 + env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0 LLVM_VERSION=6.0 # Docker - name: "Docker" |