From 563d96fc70d0df8fdbff58164cbd3f5444e94a26 Mon Sep 17 00:00:00 2001
From: Rainer Kartmann <rainer.kartmann@kit.edu>
Date: Thu, 22 Dec 2022 18:20:34 +0100
Subject: [PATCH] Add content of mmm tools
---
.gitlab/ci/armarx-workspace.json | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/.gitlab/ci/armarx-workspace.json b/.gitlab/ci/armarx-workspace.json
index 6f17af66e..7b7565e55 100644
--- a/.gitlab/ci/armarx-workspace.json
+++ b/.gitlab/ci/armarx-workspace.json
@@ -3,9 +3,15 @@
"tools/ccache/default": {},
"simox": {},
- "mmm/core": {},
"# mmm/tools": {},
+ "apt/nlopt": {},
+ "semantic-object-relations": {},
+ "mmm/core": {},
+ "deps/eigen3": {},
+
+
+
"apt/libqt5bluetooth5": {},
"apt/libqt5designer5": {},
"apt/libqt5designercomponents5": {},
--
GitLab