added devcontainer

robotology · Dec 30, 2024 · 0e730f0 · 0e730f0
1 parent 30f6ce1
commit 0e730f0
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+  "name": "CDE for robots-configuration",
+  "image": "ghcr.io/robotology/robots-configuration:latest",
+  "extensions": [],
+  "remoteUser": "gitpod",
+  "postAttachCommand": [
+    "mkdir -p build && cd build",
+    "cmake .. -DCMAKE_PREFIX_PATH=${DEPENDENCIES_DIR}/install -DCMAKE_INSTALL_PREFIX=${DEPENDENCIES_DIR}/install -DBUILD_TESTING:BOOL=ON -DINSTALL_ALL_ROBOTS:BOOL=ON", 
+    "cmake --build . --config Release --target install"
+  ]
+}