gameServer/CMakeLists.txt
changeset 6536 8a096836321c
parent 4568 f85243bf890e
child 6537 1df1f224f3e9
equal deleted inserted replaced
6535:51a7e71ad317 6536:8a096836321c
    22 	)
    22 	)
    23 
    23 
    24 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    24 set(hwserv_main ${hedgewars_SOURCE_DIR}/gameServer/hedgewars-server.hs)
    25 
    25 
    26 set(ghc_flags
    26 set(ghc_flags
       
    27     -O2
    27 	--make ${hwserv_main}
    28 	--make ${hwserv_main}
    28 	-i${hedgewars_SOURCE_DIR}/gameServer
    29 	-i${hedgewars_SOURCE_DIR}/gameServer
    29 	-o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    30 	-o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX}
    30 	-odir ${CMAKE_CURRENT_BINARY_DIR}
    31 	-odir ${CMAKE_CURRENT_BINARY_DIR}
    31 	-hidir ${CMAKE_CURRENT_BINARY_DIR})
    32 	-hidir ${CMAKE_CURRENT_BINARY_DIR})