| changeset 1372 | 69ceb24d40d0 |
| parent 1371 | e206cdb009a7 |
| child 1373 | ca719502b87f |
| 1371:e206cdb009a7 | 1372:69ceb24d40d0 |
|---|---|
1 find_program(ghc_executable ghc) |
1 find_program(ghc_executable ghc) |
2 |
2 |
3 if (NOT ghc_executable) |
3 if (NOT ghc_executable) |
4 message("Cannot find GHC" FATAL) |
4 message(FATAL_ERROR "Cannot find GHC") |
5 endif(NOT ghc_executable) |
5 endif(NOT ghc_executable) |
6 |
6 |
7 set(hwserver_sources |
7 set(hwserver_sources |
8 HWProto.hs |
8 HWProto.hs |
9 Miscutils.hs |
9 Miscutils.hs |