diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 2 |
1 files changed, 2 insertions, 0 deletions
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@ |