From 0e730f04d2c0b66f6f681b6fbfac1a9809813fb9 Mon Sep 17 00:00:00 2001
From: Ugo Pattacini <ugo.pattacini@iit.it>
Date: Mon, 30 Dec 2024 16:18:58 +0100
Subject: [PATCH] added devcontainer

---
 .devcontainer/devcontainer.json | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 000000000..2f6f886a7
--- /dev/null
+++ 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"
+  ]
+}