diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index c8e2b57f..ee95c4e5 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -29,13 +29,8 @@ PROJ_INSTALL_ROOT := @prefix@ KLEE_USE_CXX11 := @KLEE_USE_CXX11@ -STP_ROOT := @STP_ROOT@ - -STP_NEEDS_BOOST := @STP_NEEDS_BOOST@ - -ifeq ($(STP_NEEDS_BOOST),1) - UPSTREAM_STP_LINK_FLAGS = @UPSTREAM_STP_LINK_FLAGS@ -endif +STP_CFLAGS := @STP_CFLAGS@ +STP_LDFLAGS := @STP_LDFLAGS@ ENABLE_METASMT := @ENABLE_METASMT@ METASMT_ROOT := @METASMT_ROOT@ |