diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-01 21:51:52 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-01 21:51:52 +0000 |
| commit | 5c692a7feb6a378e83de58927556ff587e7d2e47 (patch) | |
| tree | 5fd7d80e2367ff07476f90128484c946ecbcae51 /autoconf | |
| parent | 155eae5f80b83786daf693c92f787ccd2a51af10 (diff) | |
| download | klee-5c692a7feb6a378e83de58927556ff587e7d2e47.tar.gz | |
Upstream libstp is no longer dependent on Boost so remove the
configure/Makefile code that adds Boost as a depdendency because We don't need to support old versions of STP that needed Boost.
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 29 |
1 files changed, 5 insertions, 24 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index a5f12c5f..5b9c4e58 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -570,35 +570,16 @@ AC_ARG_WITH(stp, old_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $STP_CFLAGS" -AC_CHECK_HEADER(stp/c_interface.h,, [ - AC_MSG_ERROR([Unable to use stp/c_interface.h header]) -]) +AC_CHECK_HEADER(stp/c_interface.h,, + [ + AC_MSG_ERROR([Unable to use stp/c_interface.h header]) + ]) CPPFLAGS="$old_CPPFLAGS" -STP_NEEDS_BOOST=0 - -# Try old STP AC_CHECK_LIB(stp, vc_setInterfaceFlags,, [ - STP_NEEDS_BOOST=1 ; AC_MSG_RESULT([Could not link with libstp. Checking if newer STP is being used]) + AC_MSG_ERROR([Could not link with libstp]) ], "$STP_LDFLAGS") -dnl Flags for upstream STP which has boost dependency -UPSTREAM_STP_LINK_FLAGS="-lboost_system -lboost_program_options" -if test "X$STP_NEEDS_BOOST" != X0 ; then - # Need to clear cached result - unset ac_cv_lib_stp_vc_setInterfaceFlags - - AC_CHECK_LIB(stp, - vc_setInterfaceFlags,, [ - AC_MSG_ERROR([Unable to link with libstp. Check config.log to see what went wrong]) - ], "$STP_LDFLAGS" $UPSTREAM_STP_LINK_FLAGS ) - - AC_SUBST(UPSTREAM_STP_LINK_FLAGS, $UPSTREAM_STP_LINK_FLAGS) - AC_SUBST(STP_NEEDS_BOOST, $STP_NEEDS_BOOST) -else - AC_MSG_RESULT([Using old STP]) -fi - AC_SUBST(STP_CFLAGS) AC_SUBST(STP_LDFLAGS) |