gameServer/CMakeLists.txt
changeset 3458 11cd56019f00
parent 3452 8c04583d8e2a
child 3542 f216b24aeb7f
--- a/gameServer/CMakeLists.txt	Mon May 10 15:31:09 2010 +0000
+++ b/gameServer/CMakeLists.txt	Mon May 10 17:48:06 2010 +0000
@@ -18,13 +18,15 @@
     Opts.hs
     ServerCore.hs
     Utils.hs
+    RoomsAndClients.hs
+    ServerState.hs
+    Store.hs
     hedgewars-server.hs
     )
 
 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
 
 set(ghc_flags
-    -O2
     --make ${hwserv_main}
     -i${hedgewars_SOURCE_DIR}/gameServer
     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}