Enable EDG (compiler-explorer#5486)

pbrubaker · Sep 19, 2023 · f94dd37 · f94dd37
1 parent 9ef40e5
commit f94dd37
Showing 1 changed file with 8 additions and 10 deletions.
diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties
@@ -1,4 +1,4 @@
-compilers=&gcc86:&icc:&icx:&clang:&clangx86trunk:&clang-rocm:&mosclang-trunk:&rvclang:&wasmclang:&cl:&cross:&ellcc:&zapcc:&djggp:www.godbolt.ms@443:&armclang32:&armclang64:&zigcxx:&cxx6502:&nvcxx_arm_cxx:godbolt.org@443/gpu:godbolt.org@443/winprod:&hexagon-clang
+compilers=&gcc86:&icc:&icx:&clang:&clangx86trunk:&clang-rocm:&mosclang-trunk:&rvclang:&wasmclang:&cl:&cross:&ellcc:&zapcc:&djggp:www.godbolt.ms@443:&armclang32:&armclang64:&zigcxx:&cxx6502:&nvcxx_arm_cxx:godbolt.org@443/gpu:godbolt.org@443/winprod:&hexagon-clang:&edg
 # Disabled: nvcxx_x86_cxx
 # The disabled groups are actually used in the c++.gpu.properties. One day these might exist on both servers, so I want
 # to keep them in the same place.
@@ -2780,15 +2780,13 @@ compiler.nvcxx_arm_cxx23_7.semver=23.7
 
 #################################
 # EDG compiler
-# Temporarily disabled until we iron out some kinks:
-# Disabled: edg
-#group.edg.compilers=&edg-gnu
-#group.edg.compilerType=edg
-#group.edg.compilerCategories=edg-cpfe
-
-#group.edg-gnu.compilers=edg-6_5-gcc-13
-#compiler.edg-6_5-gcc-13.exe=/opt/compiler-explorer/edg-6.5-gcc-13/eccp-scripts/eccp-gcc
-#compiler.edg-6_5-gcc-13.name=EDG 6.5 (GNU mode gcc 13)
+group.edg.compilers=&edg-gnu
+group.edg.compilerType=edg
+group.edg.compilerCategories=edg-cpfe
+
+group.edg-gnu.compilers=edg-6_5-gcc-13
+compiler.edg-6_5-gcc-13.exe=/opt/compiler-explorer/edg-6.5-gcc-13/eccp-scripts/eccp-gcc
+compiler.edg-6_5-gcc-13.name=EDG 6.5 (GNU mode gcc 13)
 
 
 #################################