From 1d3c741c7f074df863e94e9dfb70630eaadac6d2 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 20 Aug 2014 18:29:36 +0100 Subject: Provide --enable-cxx11 configure option to enable building with C++11. For LLVM >= 3.5 explicitly force this to be enabled otherwise we can't compile against LLVM. - Some minor tweaks to the configure logic by me (Daniel Dunbar), to ensure C++ compiler is tested before these checks run, and to properly restore CXXFLAGS. --- Makefile.config.in | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Makefile.config.in') diff --git a/Makefile.config.in b/Makefile.config.in index a6dcdcaa..c8e2b57f 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -27,6 +27,8 @@ PROJ_OBJ_ROOT := $(subst //,/,@abs_top_builddir@) # Set the root directory of this project's install prefix PROJ_INSTALL_ROOT := @prefix@ +KLEE_USE_CXX11 := @KLEE_USE_CXX11@ + STP_ROOT := @STP_ROOT@ STP_NEEDS_BOOST := @STP_NEEDS_BOOST@ -- cgit 1.4.1