diff options
| -rw-r--r-- | etc/config/c++.amazon.properties | 5 | ||||
| -rw-r--r-- | etc/config/c++.gpu.properties | 4 | ||||
| -rw-r--r-- | etc/config/compiler-explorer.gpu.properties | 2 |
3 files changed, 9 insertions, 2 deletions
diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties index 77e22cfac..b71b6fd1f 100644 --- a/etc/config/c++.amazon.properties +++ b/etc/config/c++.amazon.properties @@ -1,4 +1,7 @@ -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_x86_cxx:&nvcxx_arm_cxx +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 +# Disabled: nvcxx_x86_cxx +# The disabled groups are actually used in the cuda.gpu.properties (along with libs etc). One day these might exist on +# both servers, so I want to keep them in the same place. defaultCompiler=g122 demangler=/opt/compiler-explorer/gcc-12.2.0/bin/c++filt objdumper=/opt/compiler-explorer/gcc-12.2.0/bin/objdump diff --git a/etc/config/c++.gpu.properties b/etc/config/c++.gpu.properties new file mode 100644 index 000000000..ec43a48e2 --- /dev/null +++ b/etc/config/c++.gpu.properties @@ -0,0 +1,4 @@ +# Compiler settings inherited from amazon.properties to keep them in sync +# Disabled: nvcxx_x86_cxx +compilers=&nvcxx_x86_cxx +supportsExecute=true diff --git a/etc/config/compiler-explorer.gpu.properties b/etc/config/compiler-explorer.gpu.properties index 8e4feffb3..2e161d053 100644 --- a/etc/config/compiler-explorer.gpu.properties +++ b/etc/config/compiler-explorer.gpu.properties @@ -1,2 +1,2 @@ httpRoot=/gpu -restrictToLanguages=cuda +restrictToLanguages=c++,cuda |