gameServer/CMakeLists.txt
changeset 13292 e9caada3aac1
parent 13291 31615a2e0db1
child 13297 76a71a67922b
--- a/gameServer/CMakeLists.txt	Wed Mar 28 15:14:20 2018 +0200
+++ b/gameServer/CMakeLists.txt	Wed Mar 28 15:21:23 2018 +0200
@@ -55,6 +55,7 @@
 
 set(ghc_flags
     --make ${hwserv_main}
+    -dynamic
     -i${CMAKE_CURRENT_SOURCE_DIR}
     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
     -odir ${CMAKE_CURRENT_BINARY_DIR}