diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 09505236f..ed015d1fa 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -2,7 +2,7 @@ "name": "Existing Dockerfile", "build": { "context": "..", - "dockerfile": "../Dockerfile.gcc13" + "dockerfile": "../Dockerfile" }, "customizations": { "vscode": { diff --git a/docs/guides/gcc-compilation-guide.md b/docs/guides/gcc-compilation-guide.md index 211c96fb7..3923a3205 100644 --- a/docs/guides/gcc-compilation-guide.md +++ b/docs/guides/gcc-compilation-guide.md @@ -18,7 +18,7 @@ mkdir build && cd build ### 3. Setup CMake ```bash -cmake .. -GNinja -DCMAKE_CXX_COMPILER=g++ +cmake .. -GNinja -DCMAKE_CXX_COMPILER=g++-13 ``` ### 4. Build @@ -36,4 +36,4 @@ cmake --build . ### Additional information If you can't install g++ 13 on your system, you can use -prepared [Dockerfile](../../Dockerfile.gcc13). +prepared [Dockerfile](../../Dockerfile). diff --git a/scripts/run_tests_linux_gxx.sh b/scripts/run_tests_linux_gxx.sh old mode 100644 new mode 100755