diff options
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 1466df7..87fc2e5 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -385,6 +385,8 @@ if (WITH_DM_C89) endif() endif() +OPTION(WITH_DM_PROMELA "Do build with promela datamodel support" ON) + add_subdirectory(src/uscxml) add_subdirectory(src/bindings) |