CMakeLists.txt
changeset 7807 482b0c751df6
parent 7721 2b1ad418ba39
child 7816 a25e943dd4b0
equal deleted inserted replaced
7806:c27713b5e052 7807:482b0c751df6
   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     set(pascal_flags "-O-" "-g" "-gl" "-gv" "-Ct" ${pascal_flags})
   185     set(pascal_flags "-O-" "-g" "-gl" "-gv" ${pascal_flags})
   186     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})
   187 else()
   187 else()
   188     message(STATUS "Building Release flavour")
   188     message(STATUS "Building Release flavour")
   189 #    set(pascal_flags "-O3" "-OpPENTIUM4" "-CfSSE3" "-Xs" "-Si" ${pascal_flags})
   189 #    set(pascal_flags "-O3" "-OpPENTIUM4" "-CfSSE3" "-Xs" "-Si" ${pascal_flags})
   190     set(pascal_flags "-Os" "-Ooregvar" "-Xs" "-Si" ${pascal_flags})
   190     set(pascal_flags "-Os" "-Ooregvar" "-Xs" "-Si" ${pascal_flags})