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 /Makefile.config.in | |
| 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 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index ee95c4e5..efedd505 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -65,6 +65,11 @@ endif # disable unwind test TEST_FEATURE_LIST += no-unwind +# Deliberately override the host compiler +# so that we use what was detected when KLEE was configured +# and not LLVM. +CC := @KLEE_HOST_C_COMPILER@ +CXX := @KLEE_HOST_CXX_COMPILER@ CFLAGS := @CFLAGS@ -Wall -g CXXFLAGS := @CXXFLAGS@ -g -Wall LDFLAGS := @LDFLAGS@ -g |