Merge pull request #36 from TAPAAL/colored_guard_fix

Updating unfoldtacpn
TAPAAL · May 11, 2023 · 32515f0 · 32515f0
2 parents a864242 + 3f27c11
commit 32515f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -81,7 +81,7 @@ if (VERIFYDTAPN_GetDependencies)
 
     ExternalProject_add(unfoldtacpn-ext
         GIT_REPOSITORY https://github.com/TAPAAL/unfoldTACPN
-        GIT_TAG f6f3c510251ca324a4d9d722a36400768f4a367a
+        GIT_TAG 7f49fa4544c5a55acd965210e2bd6f702584b969
 	    CMAKE_ARGS -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE} -DCMAKE_C_COMPILER=${CMAKE_C_COMPILER} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER}  -DCMAKE_INSTALL_PREFIX=${EXTERNAL_INSTALL_LOCATION} -DBUILD_TESTING=OFF -DCMAKE_BUILD_TYPE=Release -DFLEX_EXECUTABLE=${FLEX_EXECUTABLE} -DBISON_EXECUTABLE=${BISON_EXECUTABLE}
     )