ExternalVendorCode/AFLplusplus
1
0
Fork 0
mirror of https://github.com/AFLplusplus/AFLplusplus.git synced 2025-06-16 20:08:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

optimin: fix cmake flags

Browse Source 
Disable RTTI. Fixes issue #1133
This commit is contained in:
Adrian Herrera
2021-10-27 10:16:24 +00:00
parent 773baf9391
commit 69d82cf9d7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
utils/optimin/src/CMakeLists.txt
View File

@ -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