diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-13 13:31:34 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-17 15:43:21 +0000 |
| commit | c4989f7d6c164a312fd5fe79c8729ccd952b58c2 (patch) | |
| tree | 1df761be2dbdaa84028c16eabe914d0689f45df1 /scripts/build | |
| parent | ae1539e421cc225e77cf23d7662644321e78a8ed (diff) | |
| download | klee-c4989f7d6c164a312fd5fe79c8729ccd952b58c2.tar.gz | |
Add travis support to build with libc++
Enable libc++ support by default but disable for LLVM < 3.7 as not supported. Disable support for Mac OSX: wllvm is not working well with dylib but Mac OSX currently requires dynamic version compiled. In general it should be possible, maybe later version.
Diffstat (limited to 'scripts/build')
0 files changed, 0 insertions, 0 deletions