equal
deleted
inserted
replaced
12 ) |
12 ) |
13 |
13 |
14 set(hwserv_main ${hedgewars_SOURCE_DIR}/netserver/hedgewars-server.hs) |
14 set(hwserv_main ${hedgewars_SOURCE_DIR}/netserver/hedgewars-server.hs) |
15 |
15 |
16 set(ghc_flags |
16 set(ghc_flags |
|
17 -cpp |
17 --make ${hwserv_main} |
18 --make ${hwserv_main} |
18 -i${hedgewars_SOURCE_DIR}/netserver |
19 -i${hedgewars_SOURCE_DIR}/netserver |
19 -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX} |
20 -o ${EXECUTABLE_OUTPUT_PATH}/hedgewars-server${CMAKE_EXECUTABLE_SUFFIX} |
20 -odir ${CMAKE_CURRENT_BINARY_DIR} |
21 -odir ${CMAKE_CURRENT_BINARY_DIR} |
21 -hidir ${CMAKE_CURRENT_BINARY_DIR}) |
22 -hidir ${CMAKE_CURRENT_BINARY_DIR}) |