diff options
| author | van Hauser <vh@thc.org> | 2021-10-27 12:47:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 12:47:42 +0200 |
| commit | 873f5a979e6245deb8ef9659152e2af034f85ce2 (patch) | |
| tree | d55d4e49d9e3319220f226e0b4c12d066b0de7b3 | |
| parent | 471081e1b8162a2fd287a62217ba7ff55474a14f (diff) | |
| parent | 69d82cf9d7e007ed9508034d2c0acaeb027d2b47 (diff) | |
| download | afl++-873f5a979e6245deb8ef9659152e2af034f85ce2.tar.gz | |
Merge pull request #1134 from adrianherrera/bugfix/optimin-cmake
optimin: fix cmake flags
| -rw-r--r-- | utils/optimin/src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/optimin/src/CMakeLists.txt b/utils/optimin/src/CMakeLists.txt index f31ceeaf..693f63f2 100644 --- a/utils/optimin/src/CMakeLists.txt +++ b/utils/optimin/src/CMakeLists.txt @@ -1,4 +1,5 @@ add_executable(optimin OptiMin.cpp) +set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti") foreach(LIB MaLib EvalMaxSAT glucose) target_include_directories(optimin PRIVATE |