added devcontainer

robotology · Dec 30, 2024 · 408031a · 408031a
1 parent 30f6ce1
commit 408031a
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,17 @@
+{
+  "name": "CDE for robots-configuration",
+  "image": "ghcr.io/robotology/robots-configuration:latest",
+  "remoteUser": "gitpod",
+  "customizations": {
+    "vscode": {
+      "settings": {
+        "terminal.integrated.shell.linux": "/bin/bash"
+      }
+    }
+  },
+  "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"
+  ]
+}