# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1522243283 -7200
# Node ID e9caada3aac1c61c665ee0a3966a40234e59a541
# Parent  31615a2e0db19e51d873a2b91482a4065f576b94
CMake for server: Pass -dynamic flag to ghc

diff -r 31615a2e0db1 -r e9caada3aac1 gameServer/CMakeLists.txt
--- 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}