diff options
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 |