diff --git a/configure/os/CONFIG_SITE.Common.linux-x86 b/configure/os/CONFIG_SITE.Common.linux-x86 index d6e1f36be..c887ff74f 100644 --- a/configure/os/CONFIG_SITE.Common.linux-x86 +++ b/configure/os/CONFIG_SITE.Common.linux-x86 @@ -34,3 +34,9 @@ COMMANDLINE_LIBRARY = READLINE OP_SYS_CFLAGS += -g +# Some Linux distributions provide clang as an alternative to GCC. +# To use clang if you have it, uncomment these three lines: +#CC = clang +#CCC = clang++ +#GNU_LDLIBS_YES = + diff --git a/configure/os/CONFIG_SITE.Common.linux-x86_64 b/configure/os/CONFIG_SITE.Common.linux-x86_64 index 9d3bbd132..2894c3926 100644 --- a/configure/os/CONFIG_SITE.Common.linux-x86_64 +++ b/configure/os/CONFIG_SITE.Common.linux-x86_64 @@ -32,5 +32,11 @@ COMMANDLINE_LIBRARY = READLINE # Needs -lcurses (older versions) #COMMANDLINE_LIBRARY = READLINE_CURSES - OP_SYS_CFLAGS += -g + +# Some Linux distributions provide clang as an alternative to GCC. +# To use clang if you have it, uncomment these three lines: +#CC = clang +#CCC = clang++ +#GNU_LDLIBS_YES = +