Update path to dockerfile in devcontainer (#536)

* Fix codespaces naming to refer to Dockerfile, not Dockerfile.gcc13. * Specify g++-13 at CXX_COMPILER flag.
cieslarmichal · May 3, 2024 · d159efb · d159efb
1 parent 87ba580
commit d159efb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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