From d040e2db4bd0a4ce4ead945ca58edd1101d8aac8 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 19 Dec 2016 11:50:43 +0100
Subject: [PATCH] Disable Debug compiler flags for PrismParser to lessen memory
 consumption during compilation

---
 src/storm/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/CMakeLists.txt b/src/storm/CMakeLists.txt
index 4fba35749..363fbc0ab 100644
--- 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.)