diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-18 13:54:30 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-18 13:54:30 +0000 |
| commit | 19b7bdd916c484b52ce1237401b15a346575b4cf (patch) | |
| tree | 6478c01fc41cc806e27ba7c5d9688bc2f45cbffa /.travis/klee.sh | |
| parent | b149dfa242753004d8fb00c4aa55e340d56c0d43 (diff) | |
| download | klee-19b7bdd916c484b52ce1237401b15a346575b4cf.tar.gz | |
[CMake] Remove `ENABLE_TESTS` CMake cache option.
The intention of this option was to provide a switch that can be used to globally enable/disable tests. This option ended up causing a lot of confusion as can be seen on the discussion on writing documention for the new build system. https://github.com/klee/klee.github.io/pull/53 So it was decided to remove this option. This fixes #568 .
Diffstat (limited to '.travis/klee.sh')
| -rwxr-xr-x | .travis/klee.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index 09fb175a..8db724ac 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -144,7 +144,8 @@ if [ "X${USE_CMAKE}" == "X1" ]; then -DGTEST_SRC_DIR=${GTEST_SRC_DIR} \ -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} \ ${KLEE_ASSERTS_OPTION} \ - -DENABLE_TESTS=TRUE \ + -DENABLE_UNIT_TESTS=TRUE \ + -DENABLE_SYSTEM_TESTS=TRUE \ -DLIT_ARGS="-v" \ ${KLEE_SRC} make |