gameServer/CMakeLists.txt
changeset 3555 4c5ca656d1bb
parent 3542 f216b24aeb7f
child 4242 5e3c5fe2cb14
equal deleted inserted replaced
3553:eed7ab6a5087 3555:4c5ca656d1bb
    26     )
    26     )
    27 
    27 
    28 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    28 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    29 
    29 
    30 set(ghc_flags
    30 set(ghc_flags
       
    31     -Wall
    31     --make ${hwserv_main}
    32     --make ${hwserv_main}
    32     -i${hedgewars_SOURCE_DIR}/gameServer
    33     -i${hedgewars_SOURCE_DIR}/gameServer
    33     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    34     -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    34     -odir ${CMAKE_CURRENT_BINARY_DIR}
    35     -odir ${CMAKE_CURRENT_BINARY_DIR}
    35     -hidir ${CMAKE_CURRENT_BINARY_DIR})
    36     -hidir ${CMAKE_CURRENT_BINARY_DIR})