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" + ] +}