gameServer/CMakeLists.txt
branchwebgl
changeset 8044 796f2653f21d
parent 7113 d54e666c395d
child 8330 aaefa587e277
--- a/gameServer/CMakeLists.txt	Tue Nov 13 13:57:29 2012 -0500
+++ b/gameServer/CMakeLists.txt	Tue Nov 13 22:24:30 2012 +0100
@@ -23,11 +23,11 @@
     hedgewars-server.hs
     )
 
-set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
+set(hwserv_main ${CMAKE_SOURCE_DIR}/gameServer/hedgewars-server.hs)
 
 set(ghc_flags
     --make ${hwserv_main}
-    -i${hedgewars_SOURCE_DIR}/gameServer
+    -i${CMAKE_CURRENT_SOURCE_DIR}
     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
     -odir ${CMAKE_CURRENT_BINARY_DIR}
     -hidir ${CMAKE_CURRENT_BINARY_DIR}