# HG changeset patch
# User koda
# Date 1447700841 -3600
# Node ID bea08a303cb72e3c50ab8114073108fee0005845
# Parent  7012234df6c4db03d316ec4add66f6914383e8d6
cmake: Remove core-lint flag for haskell

Restore different optimization level for release and debug.
Finally remember "<unC0Rr> never check ghc sanity!"

diff -r 7012234df6c4 -r bea08a303cb7 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()