equal
deleted
inserted
replaced
20 foreach(__TRASH__ RANGE 1 ${PARAMCOUNT}) |
20 foreach(__TRASH__ RANGE 1 ${PARAMCOUNT}) |
21 set(PARAMETERS "${PARAMETERS} undefined") |
21 set(PARAMETERS "${PARAMETERS} undefined") |
22 endforeach() |
22 endforeach() |
23 endif() |
23 endif() |
24 |
24 |
25 set(PARAMETERS "") |
25 #set(PARAMETERS "") |
26 |
26 |
27 execute_process(COMMAND ${GHC_EXECUTABLE} |
27 execute_process(COMMAND ${GHC_EXECUTABLE} |
28 "-DMODULE=${MODULE}" |
28 "-DMODULE=${MODULE}" |
29 "-DFUNCTION=${FUNCTION}" |
29 "-DFUNCTION=${FUNCTION}" |
30 "-DPARAMETERS=${PARAMETERS}" |
30 "-DPARAMETERS=${PARAMETERS}" |