From b41cf33b6b726fd97e502c5c4818f5feeea0284b Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 8 Apr 2015 23:29:10 +0100 Subject: Fix very annoying issue where KLEE's configure would completly ignore the C++ compiler detected and just use the compiler detected during the LLVM configure. --- autoconf/configure.ac | 3 +++ 1 file changed, 3 insertions(+) (limited to 'autoconf') diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 8d4f465c..747f6544 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -34,8 +34,11 @@ AH_BOTTOM([#endif]) dnl We need to check for the compiler up here to avoid anything else dnl starting with a different one. +AC_PROG_CC(gcc clang) AC_PROG_CXX(g++ clang++ ) AC_LANG([C++]) +AC_SUBST(KLEE_HOST_C_COMPILER,$CC) +AC_SUBST(KLEE_HOST_CXX_COMPILER,$CXX) dnl ************************************************************************** dnl Find the host -- cgit 1.4.1