gameServer/CMakeLists.txt
branchwebgl
changeset 8044 796f2653f21d
parent 7113 d54e666c395d
child 8330 aaefa587e277
equal deleted inserted replaced
8041:ecb446b9b7d6 8044:796f2653f21d
    21     Store.hs
    21     Store.hs
    22     Utils.hs
    22     Utils.hs
    23     hedgewars-server.hs
    23     hedgewars-server.hs
    24     )
    24     )
    25 
    25 
    26 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    26 set(hwserv_main ${CMAKE_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    27 
    27 
    28 set(ghc_flags
    28 set(ghc_flags
    29     --make ${hwserv_main}
    29     --make ${hwserv_main}
    30     -i${hedgewars_SOURCE_DIR}/gameServer
    30     -i${CMAKE_CURRENT_SOURCE_DIR}
    31     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    31     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    32     -odir ${CMAKE_CURRENT_BINARY_DIR}
    32     -odir ${CMAKE_CURRENT_BINARY_DIR}
    33     -hidir ${CMAKE_CURRENT_BINARY_DIR}
    33     -hidir ${CMAKE_CURRENT_BINARY_DIR}
    34     ${haskell_flags})
    34     ${haskell_flags})
    35 
    35