microRTPS: add option to build the microRTPS agent after its generation

2026-10-03 15:38:52 +08:00 · 2021-06-21 16:36:44 +02:00
parent 084a992572
commit 9fb53d4276
4 changed files with 32 additions and 1 deletions
@@ -165,6 +165,11 @@ ifdef PYTHON_EXECUTABLE
 	CMAKE_ARGS += -DPYTHON_EXECUTABLE=${PYTHON_EXECUTABLE}
 endif

+# Check if the microRTPS agent is to be built
+ifdef BUILD_MICRORTPS_AGENT
+  CMAKE_ARGS += -DBUILD_MICRORTPS_AGENT=ON
+endif
+
 # Functions
 # --------------------------------------------------------------------
 # describe how to build a cmake config