14b43f5ef3
- Build against LLVM 4
- Update to version 1.3.0+20170607:
* Fix test failure on systems with libstdc++ corresponding to gcc7.
* llvm: rename ExitOnError to OptExitOnError
* Prevent test failure when realloc fails in test/Feature/Realloc.c
- added patches:
0001-llvm-don-t-use-clEnumValEnd-for-LLVM-4.0.patch
0002-llvm-get-rid-of-static_casts-from-iterators.patch
0003-Core-TimingSolver-use-WallTimer.patch
0004-llvm-make-KLEE-compile-against-LLVM-3.7.patch
0005-llvm-make-KLEE-compile-against-LLVM-3.8.patch
0006-llvm-make-KLEE-compile-against-LLVM-3.9.patch
0007-test-add-versions-of-some-tests-for-LLVM-3.8.patch
0008-travis-CI-add-LLVM-3.8-build-tests.patch
0009-llvm40-handle-different-header-names.patch
0010-llvm-APFloat-members-are-functions-in-LLVM-4.0.patch
0011-llvm40-errorOr-and-similar.patch
0012-llvm-use-chrono-helpers-from-LLVM-4.0.patch
0013-llvm-PointerType-is-not-SequentialType-in-LLVM-4.patch
- removed patches (renamed to the above):
0001-test-add-versions-of-some-tests-for-LLVM-3.8.patch
0002-Make-KLEE-compile-against-LLVM-3.7.patch
0003-Make-KLEE-compile-against-LLVM-3.8.patch
- Update to version 1.3.0+20170602:
* use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI
* [travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
* [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM version and a metaSMT version that requires RTTI
* [TravisCI] Try to unbreak the build against upstream STP.
* Remove redundant KLEE prefix while logging
OBS-URL: https://build.opensuse.org/request/show/502372
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=3