Disable Debug compiler flags for PrismParser to lessen memory consumption during compilation

8 years ago · d040e2db4b
1 changed files with 3 additions and 0 deletions
--- a/src/storm/CMakeLists.txt
+++ b/src/storm/CMakeLists.txt
@ -28,6 +28,9 @@ if (ADDITIONAL_LINK_DIRS)
 	link_directories(${ADDITIONAL_LINK_DIRS})
 endif(ADDITIONAL_LINK_DIRS)

+# Disable Debug compiler flags for PrismParser to lessen memory consumption during compilation
+SET_SOURCE_FILES_PROPERTIES(${PROJECT_SOURCE_DIR}/src/storm/parser/PrismParser.cpp PROPERTIES COMPILE_FLAGS -g0)
+
 ###############################################################################
 ##                                                                            
 ##	Binary creation (All link_directories() calls must be made before this point.)