changeset 2409 | dbf195c3e09c |
parent 2406 | 2e757b32991e |
child 2606 | ed687a8d081f |
2408:41ebdb5f1e6e | 2409:dbf195c3e09c |
---|---|
2 |
2 |
3 if(NOT ghc_executable) |
3 if(NOT ghc_executable) |
4 message(FATAL_ERROR "Cannot find GHC") |
4 message(FATAL_ERROR "Cannot find GHC") |
5 endif(NOT ghc_executable) |
5 endif(NOT ghc_executable) |
6 |
6 |
7 if(APPLE) |
|
8 find_package(GMP REQUIRED) |
|
9 endif(APPLE) |
|
10 |
7 |
11 set(hwserver_sources |
8 set(hwserver_sources |
12 OfficialServer/DBInteraction.hs |
9 OfficialServer/DBInteraction.hs |
13 Actions.hs |
10 Actions.hs |
14 ClientIO.hs |
11 ClientIO.hs |