CMakeLists.txt
changeset 7820 c1b491e03362
parent 7819 dfc4b6cbe6ea
child 7821 9353d5eb360e
child 7883 720e95f5a74e
equal deleted inserted replaced
7819:dfc4b6cbe6ea 7820:c1b491e03362
   180 set(haskell_flags "-O2" ${ghflags_parsed} ${haskell_flags})
   180 set(haskell_flags "-O2" ${ghflags_parsed} ${haskell_flags})
   181 
   181 
   182 #get BUILD_TYPE and enable/disable optimisation
   182 #get BUILD_TYPE and enable/disable optimisation
   183 if(CMAKE_BUILD_TYPE MATCHES "DEBUG")
   183 if(CMAKE_BUILD_TYPE MATCHES "DEBUG")
   184     message(STATUS "Building Debug flavour")
   184     message(STATUS "Building Debug flavour")
   185     # for no obvious reason, -gv was causing broken behaviour
   185     set(pascal_flags "-O-" "-g" "-gl" "-gv" ${pascal_flags})
   186     #set(pascal_flags "-O-" "-g" "-gl" "-gv" ${pascal_flags})
       
   187     set(pascal_flags "-O-" "-g" "-gl" ${pascal_flags})
       
   188     set(haskell_flags "-Wall" "-debug" "-dcore-lint" "-fno-warn-unused-do-bind" ${haskell_flags})
   186     set(haskell_flags "-Wall" "-debug" "-dcore-lint" "-fno-warn-unused-do-bind" ${haskell_flags})
   189 else()
   187 else()
   190     message(STATUS "Building Release flavour")
   188     message(STATUS "Building Release flavour")
   191 #    set(pascal_flags "-O3" "-OpPENTIUM4" "-CfSSE3" "-Xs" "-Si" ${pascal_flags})
   189 #    set(pascal_flags "-O3" "-OpPENTIUM4" "-CfSSE3" "-Xs" "-Si" ${pascal_flags})
   192     set(pascal_flags "-Os" "-Ooregvar" "-Xs" "-Si" ${pascal_flags})
   190     set(pascal_flags "-Os" "-Ooregvar" "-Xs" "-Si" ${pascal_flags})