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