diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
commit | 8a9b432d36e5748898abffe9f1607d93e45bab4b (patch) | |
tree | 0b95e832a9b3b2daf9ae45bf81084eda580752a0 /CMakeLists.txt | |
parent | 7d98ac1fd2e9da3162f3b6d38b22106f463edd9d (diff) | |
download | uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.zip uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.gz uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.bz2 |
Started with promela datamodel
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 7b2e89e..3d4b2ea 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -280,14 +280,17 @@ if (CMAKE_CROSSCOMPILING) OPTION(BUILD_TESTS "Build USCXML tests" OFF) else() OPTION(BUILD_TESTS "Build USCXML tests" ON) - OPTION(BUILD_TESTS_W3C_ECMA "Run W3C ECMAScript tests" ON) - OPTION(BUILD_TESTS_W3C_XPATH "Run W3C XPath tests" ON) + OPTION(BUILD_TESTS_W3C_ECMA "Create W3C ECMAScript tests" ON) + OPTION(BUILD_TESTS_W3C_XPATH "Create W3C XPath tests" ON) + OPTION(BUILD_TESTS_FSM_ECMA "Create FSM converted W3C ECMAScript tests" OFF) + OPTION(BUILD_TESTS_FSM_XPATH "Create FSM converted W3C XPath tests" OFF) endif() OPTION(ENABLE_GCOV "Compile with gcov support" OFF) OPTION(BUILD_DM_ECMA "Build with ECMAScript datamodel" ON) OPTION(BUILD_DM_XPATH "Build with XPath datamodel" ON) OPTION(BUILD_DM_PROLOG "Build with Prolog datamodel" ON) +OPTION(BUILD_DM_PROMELA "Build with Promela datamodel" ON) # a dummy target to depend on the targets needed for tests, see: # http://stackoverflow.com/questions/733475/cmake-ctest-make-test-doesnt-build-tests @@ -869,6 +872,8 @@ foreach( FILE ${USCXML_FILES} ) elseif (${PATH} MATCHES ".*datamodel\\/prolog.*") STRING(REGEX MATCH "[^\\/]*$" COMP_NAME ${PATH}) source_group("Datamodel\\Prolog\\${COMP_NAME}" FILES ${FILE}) + elseif (${PATH} MATCHES ".*datamodel\\/promela.*") + source_group("Datamodel\\Promela" FILES ${FILE}) elseif (${PATH} MATCHES ".*datamodel\\/xpath.*") source_group("Datamodel\\XPath" FILES ${FILE}) elseif (${PATH} MATCHES ".*datamodel\\/null.*") @@ -892,6 +897,8 @@ foreach( FILE ${USCXML_FILES} ) elseif (${FILE} MATCHES ".*\\/debug\\/.*") source_group("Interpreter\\debug" FILES ${FILE}) + elseif (${FILE} MATCHES ".*\\/transform\\/.*") + source_group("Interpreter\\transform" FILES ${FILE}) elseif (${FILE} MATCHES ".*\\/util\\/.*") source_group("Interpreter\\util" FILES ${FILE}) elseif (${FILE} MATCHES ".*\\/concurrency\\/.*") @@ -937,6 +944,14 @@ if (NOT CMAKE_CROSSCOMPILING) set_target_properties(uscxml-browser PROPERTIES FOLDER "Apps") install_executable(TARGETS uscxml-browser COMPONENT tools) + add_executable(uscxml-transform apps/uscxml-transform.cpp) + target_link_libraries(uscxml-transform uscxml) + if (NOT CMAKE_CROSSCOMPILING) + set_target_properties(uscxml-transform PROPERTIES COTIRE_ADD_UNITY_BUILD FALSE) + endif() + set_target_properties(uscxml-transform PROPERTIES FOLDER "Apps") + install_executable(TARGETS uscxml-transform COMPONENT tools) + if (PROTOBUF_FOUND AND OFF) file(GLOB W3C-MMI-COMMON ${PROJECT_SOURCE_DIR}/apps/w3c-mmi/*.cpp ${PROJECT_SOURCE_DIR}/apps/w3c-mmi/*.h) |