diff options
| author | Adrian Herrera <adrian.herrera02@gmail.com> | 2021-10-27 10:16:24 +0000 |
|---|---|---|
| committer | Adrian Herrera <adrian.herrera02@gmail.com> | 2021-10-27 10:18:26 +0000 |
| commit | 69d82cf9d7e007ed9508034d2c0acaeb027d2b47 (patch) | |
| tree | b57dee1bae931ae4f46f3c1e4d99565bafb03667 | |
| parent | 773baf9391ff5f1793deb7968366819e7fa07adc (diff) | |
| download | afl++-69d82cf9d7e007ed9508034d2c0acaeb027d2b47.tar.gz | |
optimin: fix cmake flags
Disable RTTI. Fixes issue #1133
| -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 |