diff options
author | Stefan Radomski <sradomski@mintwerk.de> | 2016-01-28 22:13:18 (GMT) |
---|---|---|
committer | Stefan Radomski <sradomski@mintwerk.de> | 2016-01-28 22:13:18 (GMT) |
commit | 81799f6f7d667e11ba0a30875046ca3dc0c63fe7 (patch) | |
tree | 77e8047d8854e5210cfe1f261cf8a43451f7dae8 /test/w3c/run_promela_test.cmake | |
parent | 2c0b28093912f23e52e79281dddb6e2049673f29 (diff) | |
download | uscxml-81799f6f7d667e11ba0a30875046ca3dc0c63fe7.zip uscxml-81799f6f7d667e11ba0a30875046ca3dc0c63fe7.tar.gz uscxml-81799f6f7d667e11ba0a30875046ca3dc0c63fe7.tar.bz2 |
Actually generate ANSI C code in uscxml-transform
Diffstat (limited to 'test/w3c/run_promela_test.cmake')
-rw-r--r-- | test/w3c/run_promela_test.cmake | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/w3c/run_promela_test.cmake b/test/w3c/run_promela_test.cmake index b403b7a..818cf66 100644 --- a/test/w3c/run_promela_test.cmake +++ b/test/w3c/run_promela_test.cmake @@ -20,10 +20,10 @@ if(CMD_RESULT) endif() message(STATUS "time for transforming to c") -message(STATUS "${GCC_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c") -execute_process(COMMAND time -p ${GCC_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c WORKING_DIRECTORY ${OUTDIR} RESULT_VARIABLE CMD_RESULT) +message(STATUS "${CXX_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c") +execute_process(COMMAND time -p ${CXX_BIN} -DMEMLIM=1024 -DVECTORSZ=8192 -O2 -DXUSAFE -w -o ${OUTDIR}/pan ${OUTDIR}/pan.c WORKING_DIRECTORY ${OUTDIR} RESULT_VARIABLE CMD_RESULT) if(CMD_RESULT) - message(FATAL_ERROR "Error running gcc ${GCC_BIN}: ${CMD_RESULT}") + message(FATAL_ERROR "Error running gcc ${CXX_BIN}: ${CMD_RESULT}") endif() message(STATUS "time for transforming to binary") |