diff options
| author | BloodStainedCrow <tim.aschhoff@t-online.de> | 2024-03-23 10:45:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-23 10:45:45 +0100 |
| commit | 57e625d4dcb94c4d26a3a65e6738322f172b705b (patch) | |
| tree | 5a0f39f39fc8dc3f617fe8dec16b7e478de6e1ca /.devcontainer/make_build_dir.sh | |
| parent | 9a5f516c427f329bbc161f794bae18908fcd33c5 (diff) | |
Unify docker devcontainer with dockerfile used for CI (#1587)
* Only use one Dockerfile and build.sh script for both docker and devcontainer
* Remove all now unneccessary tasks and scripts
* Update to clang-format-14
* Move devcontainer.json into root folder
* Fix conditional statements in Dockerfile
* Move .devcontainer/README into doc/usingDevcontainers
* Remove obsolete VSCode Task
* Change standard compiler path to the correct compiler
* Set GDB Path for debugging
* Hide broken buttons from CMake Extension
* Refactor .devcontainer
* Remove unneccessary postBuildCommand
* Add devcontainer dependencies to all docker images
* Add Devcontainer Debug launch config
* Add an additional c_cpp_properties config as a fallback for devcontainer
* Remove obsolete Docker Argument
* Fix wrong C/Cpp versions
* Fix silent fail of gdb, add libncurses5
Diffstat (limited to '.devcontainer/make_build_dir.sh')
| -rw-r--r-- | .devcontainer/make_build_dir.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.devcontainer/make_build_dir.sh b/.devcontainer/make_build_dir.sh deleted file mode 100644 index 76240037..00000000 --- a/.devcontainer/make_build_dir.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -cmake -G 'Unix Makefiles' -DCMAKE_BUILD_TYPE=Release -DUSE_OPENOCD=1 -DARM_NONE_EABI_TOOLCHAIN_PATH=/opt/gcc-arm-none-eabi-9-2020-q2-update -DNRF5_SDK_PATH=/opt/nRF5_SDK_15.3.0_59ac345 ${SOURCES_DIR} |