equal
deleted
inserted
replaced
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}) |