about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
AgeCommit message (Collapse)Author
2021-12-19cmake: copy klee-uclibc and klee-libcxx to expected locationsLukas Zaoral
Before this change, we created a symlink to the given libraries in their expected location and then installed the original library. This was problematic as the install directives are performed the order they are encountered during the configure step and the installation of directory containing the symlink was processed after the installation of the original library. Therefore, the original libraries were installed but were subsequently overwritten by the symlinks that can become broken rather easily. This commit changes the behaviour so that we create copy the libraries to the expected location and install them together with the rest of the KLEE runtime as was originally intended.
2021-03-05Add cmake custom target `uninstall`jiseongg
`make uninstall` is enabled. Without this, uninstalling was done manually with `rm` command.
2021-03-04cmake: Fix warning about implicit type conversionLukas Zaoral
Fixes: CMake Warning (dev) at CMakeLists.txt:478 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it.
2021-02-16renaming 'libcxx' -> 'libc++'Julian Büning
2020-12-18retire some build system legacyJulian Büning
2020-12-07Advancing version to 2.3-preCristian Cadar
2020-12-07Update version to 2.2 v2.2 2.2.xCristian Cadar
2020-12-04Only build 32bit runtime libraries if supported by platformMartin Nowack
Automatically detect if 32bit bitcode files can be built. In this case, build runtime library with 32bit as well.
2020-11-20slightly improve C++-related CMake stringsJulian Büning
2020-11-20fix CMake: libcxxabi is only required with KLEE_EH_CXXJulian Büning
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them.
2020-11-04[cmake] Always create KLEE runtime directory even if POSIX is not builtMartin Nowack
2020-11-04[cmake] Remove clean_all target as not needed by any additional targetMartin Nowack
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
2020-11-04[cmake] Switch to "newer" cmake version 3.5.0Martin Nowack
Ubuntu 16.04 supports cmake 3.5.0 as default. Cmake 2.8.12 was the default in 14.04. Use cmake 3 to simplify cmake files.
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12fix building klee-cxxabiJulian Büning
Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
2020-10-12Implemented support for C++ ExceptionsFelix Rath
We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
2020-03-06Updating KLEE's version post-releaseCristian Cadar
2020-03-03Set version to 2.1Cristian Cadar
2019-07-30CMake: show values of optional LLVM variablesJulian Büning
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use ↵Gleb Popov
libutil.h header there.
2019-03-20Moving to version 2.1-preCristian Cadar
2019-03-19Set version to 2.0!Cristian Cadar
2019-03-17Cmake enhance detection of C++ libraries and include filesMartin Nowack
* Use directory instead of libc++ files * support `bca` and `ba` files * Add additional checks if directories exist
2019-03-17Added libcxx flagLukas Wölfer
2019-03-12Add support to compile KLEE with MemorySanitizer (MSan)Martin Nowack
2019-03-05workaround for LLVM PR39177Julian Büning
provides a workaround for LLVM bug PR39177, which affects LLVM versions 3.9 - 7.0.0: https://bugs.llvm.org/show_bug.cgi?id=39177 This commit is intended to be reverted once support for LLVM versions <= 7 is dropped from KLEE.
2018-12-14Enable C++14 supportMartin Nowack
2018-10-10cmake/lit: add asan/non-asan, ubsan/non-ubsan flagsFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
* also adds klee-replay as dependency for systemtests
2018-09-14llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+AssertsJiri Slaby
So that we do not optimize the library during build. It should be optimized only on runtime, depending on the -optimize parameter. It could cause various failures like: inlinable function call in a function with debug info must have a !dbg location call void @klee_overshift_check(i64 64, i64 %int_cast_to_i64) Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-08-03Disabled unit testing in default buildAndrea Mattavelli
2018-07-10Enabled tcmalloc by defaultTimotej Kapus
2018-07-04Link dynamic libraries with specific paths instead of resolving them during ↵Martin Nowack
runtime
2018-07-04Add missing out-of-tree include files directory for TCMallocMartin Nowack
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2018-07-02CMake: use cmake_{push,pop}_check_stateJulian Büning
2018-07-02CMake: check for ctype and mallinfo functions with CXX instead of C compilerJulian Büning
2017-10-26[cmake]Fix detection of non-standard path for tcmallocMartin Nowack
2017-10-05enforce c++11Jörg Thalheim
fixes #314
2017-10-04[CMake] Add global clean target `clean_all`. Fixes #718.Dan Liew
This target invokes the `clean` target but is also intended for use by other cleaning targets. The `clean_runtime` target is now declared as a dependency of `clean-all` so that the runtime is cleaned as well.
2017-10-04[CMake] Fix bug when doing non-assert builds.Dan Liew
It seems we need to pass `-D` to CMake explicitly.
2017-10-03[CMake] Report the value of some important variables during configureDan Liew
to aid debugging.
2017-10-03[CMake] Fix initialisation order of `KLEE_COMPONENT_*` andDan Liew
`KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten.
2017-07-31Fix build for FreeBSD.Tatiana Tikhomirova
On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there. Close and write functions are located in <unistd.h>.
2017-07-28[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be setDan Liew
dynamically based on whether MetaSMT is available. Previously the default was always off.
2017-07-28[CMake] Add `ENABLE_ZLIB` option to control whether KLEE usesDan Liew
zlib. The default is `ON` if zlib is found on first configure and `OFF` if zlib is not found on first configure.
2017-07-28[CMake] Refactor Z3 detection and change the default value ofDan Liew
`ENABLE_SOLVER_Z3` to be set dynamically based on whether Z3 is available. Previously the default was always off.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 03:25:50 +0000