cmake: Remove core-lint flag for haskell
authorkoda
Mon, 16 Nov 2015 20:07:21 +0100
changeset 11402 bea08a303cb7
parent 11401 7012234df6c4
child 11403 b894922d58cc
child 11404 484d197539f2
cmake: Remove core-lint flag for haskell Restore different optimization level for release and debug. Finally remember "<unC0Rr> never check ghc sanity!"
CMakeLists.txt
--- a/CMakeLists.txt	Mon Nov 16 18:28:10 2015 +0100
+++ b/CMakeLists.txt	Mon Nov 16 20:07:21 2015 +0100
@@ -118,18 +118,18 @@
     endif()
 endif()
 
-list(APPEND haskell_flags ${ghflags_parsed} "-O2")
 
 #get BUILD_TYPE and enable/disable optimisation
 message(STATUS "Using ${CMAKE_BUILD_TYPE} configuration")
 if(CMAKE_BUILD_TYPE MATCHES "DEBUG")
     list(APPEND haskell_flags "-Wall"       # all warnings
                               "-debug"      # debug mode
-                              "-dcore-lint" # internal sanity check
                               "-fno-warn-unused-do-bind"
+                              "-O0"
                               )
 else()
     list(APPEND haskell_flags "-w" # no warnings
+                              "-O2"
                               )
 endif()