| changeset 7113 | d54e666c395d |
| parent 7112 | 38c5d56c4d6e |
| child 8044 | 796f2653f21d |
| child 8316 | 89232b2fa1d6 |
| 7112:38c5d56c4d6e | 7113:d54e666c395d |
|---|---|
1 find_program(ghc_executable ghc) |
|
2 |
|
3 if(NOT ghc_executable) |
|
4 message(FATAL_ERROR "Cannot find GHC") |
|
5 endif(NOT ghc_executable) |
|
6 |
1 |
7 |
2 |
8 set(hwserver_sources |
3 set(hwserver_sources |
9 OfficialServer/DBInteraction.hs |
4 OfficialServer/DBInteraction.hs |
10 Actions.hs |
5 Actions.hs |