gameServer/CMakeLists.txt
changeset 3458 11cd56019f00
parent 3452 8c04583d8e2a
child 3542 f216b24aeb7f
equal deleted inserted replaced
3457:2c29b75746f3 3458:11cd56019f00
    16     HWProtoNEState.hs
    16     HWProtoNEState.hs
    17     NetRoutines.hs
    17     NetRoutines.hs
    18     Opts.hs
    18     Opts.hs
    19     ServerCore.hs
    19     ServerCore.hs
    20     Utils.hs
    20     Utils.hs
       
    21     RoomsAndClients.hs
       
    22     ServerState.hs
       
    23     Store.hs
    21     hedgewars-server.hs
    24     hedgewars-server.hs
    22     )
    25     )
    23 
    26 
    24 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    27 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    25 
    28 
    26 set(ghc_flags
    29 set(ghc_flags
    27     -O2
       
    28     --make ${hwserv_main}
    30     --make ${hwserv_main}
    29     -i${hedgewars_SOURCE_DIR}/gameServer
    31     -i${hedgewars_SOURCE_DIR}/gameServer
    30     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    32     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    31     -odir ${CMAKE_CURRENT_BINARY_DIR}
    33     -odir ${CMAKE_CURRENT_BINARY_DIR}
    32     -hidir ${CMAKE_CURRENT_BINARY_DIR})
    34     -hidir ${CMAKE_CURRENT_BINARY_DIR})