aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
diff options
context:
space:
mode:
Diffstat (limited to 'config/open-axiom.m4')
-rw-r--r--config/open-axiom.m410
1 files changed, 6 insertions, 4 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4
index 2a667836..1a7b1a78 100644
--- a/config/open-axiom.m4
+++ b/config/open-axiom.m4
@@ -313,14 +313,16 @@ OPENAXIOM_CHECK_DELAYED_FFI
## anything sane going on on this fine platform.
case $host in
*apple*)
- AC_PROG_CC([clang])
- AC_PROG_CXX([clang++])
+ oa_cc_list="clang"
+ oa_cxx_list="clang++"
;;
*)
- AC_PROG_CC
- AC_PROG_CXX([g++ clang++ icpc icc CC xlC c++])
+ oa_cc_list="gcc clang cc"
+ oa_cxx_list="g++ clang++ CC c++"
;;
esac
+AC_PROG_CC([$oa_cc_list])
+AC_PROG_CXX([$oa_cxx_list])
## Where are the compilers coming from? GNU? Clang?
oa_cxx_compiler_lineage=unknown
case `$CXX -v` in