From f94dd371a2d9083c9dd6be622c7572276627c485 Mon Sep 17 00:00:00 2001 From: Matt Godbolt Date: Tue, 19 Sep 2023 08:16:18 -0500 Subject: [PATCH] Enable EDG (#5486) --- etc/config/c++.amazon.properties | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties index 032d5bdc56d..c6b4e0733b8 100644 --- 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) #################################