diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index e5e3c18a..e6de9f1e 100644 --- a/Makefile.common +++ b/Makefile.common @@ -30,6 +30,11 @@ endif # Needed to build runtime library using clang (gnu89 is the gcc default) C.Flags += -std=gnu89 +# Build using C++11 if requested +ifeq ($(KLEE_USE_CXX11),1) + CXX.Flags += -std=c++11 +endif + # This is filename that KLEE will look for when trying to load klee-uclibc KLEE_UCLIBC_BCA_NAME="klee-uclibc.bca" |