diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-08 23:29:10 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-08 23:29:10 +0100 |
| commit | b41cf33b6b726fd97e502c5c4818f5feeea0284b (patch) | |
| tree | 8c9717c37240d8c95648a9082df3c1ed73619fd4 /autoconf/configure.ac | |
| parent | b0c1d7291bbedf505529c648bc6c8b59cbef0544 (diff) | |
| download | klee-b41cf33b6b726fd97e502c5c4818f5feeea0284b.tar.gz | |
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.
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
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 |