diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-01-17 20:35:34 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-01-17 20:35:34 (GMT) |
commit | 3d790497c67b07149f8563dbae39856aa961e74d (patch) | |
tree | 8d3922848f68f2e0b2449019b6fe6ca74051ec95 /contrib | |
parent | 134f488db5d2c230fb13349cab18b350ed2c98a3 (diff) | |
download | uscxml-3d790497c67b07149f8563dbae39856aa961e74d.zip uscxml-3d790497c67b07149f8563dbae39856aa961e74d.tar.gz uscxml-3d790497c67b07149f8563dbae39856aa961e74d.tar.bz2 |
Polished umundo invoker, prolog datamodel and several bugfixes
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/cmake/FindUMUNDO.cmake | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/cmake/FindUMUNDO.cmake b/contrib/cmake/FindUMUNDO.cmake index 65e5463..437f861 100644 --- a/contrib/cmake/FindUMUNDO.cmake +++ b/contrib/cmake/FindUMUNDO.cmake @@ -112,6 +112,12 @@ foreach (_UMUNDO_COMPONENT ${_UMUNDO_COMPONENTS_TO_PROCESS}) ) if (${_CURR_COMPONENT}_DEBUG) list(APPEND UMUNDO_LIBRARIES debug ${${_CURR_COMPONENT}_DEBUG}) + else() + if (NOT WIN32 AND ${_CURR_COMPONENT}) + list(APPEND UMUNDO_LIBRARIES debug ${${_CURR_COMPONENT}}) + else() + message(STATUS "Could not find umundo component ${_UMUNDO_COMPONENT}") + endif() endif() endif() |