diff --git a/rtlib/CMakeLists.txt b/rtlib/CMakeLists.txt index e8f88b431..c1785f373 100644 --- a/rtlib/CMakeLists.txt +++ b/rtlib/CMakeLists.txt @@ -14,7 +14,7 @@ set(DiscoPoP_SOURCES runtimeFunctions.cpp runtimeFunctionsGlobals.cpp - + memory/MemoryManager.cpp memory/Signature.cpp @@ -24,7 +24,7 @@ set(DiscoPoP_SOURCES calltree/DependencyMetadata.cpp calltree/MetaDataQueueElement.cpp calltree/utils.cpp - + injected_functions/dp_add_bb_deps.cpp injected_functions/dp_alloca.cpp injected_functions/dp_call.cpp @@ -47,7 +47,7 @@ set(DiscoPoP_SOURCES ) set(CMAKE_CXX_FLAGS - "-O2 -std=c++17 -pthread -fno-rtti -fPIE -fPIC -ffreestanding") + "-O2 -std=c++17 -pthread -fno-rtti -fPIE -fPIC") # add_custom_target(DiscoPoP) @@ -119,4 +119,4 @@ install(TARGETS DiscoPoP_RT ARCHIVE DESTINATION lib) # compile simple-alias-detection #exec_program(${CMAKE_CURRENT_SOURCE_DIR}/simple-alias-detection/compile.sh # ARGS ${CMAKE_CURRENT_SOURCE_DIR} ${CMAKE_CURRENT_BINARY_DIR} -#) \ No newline at end of file +#)