diff options
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 6d846d5d..b41b6848 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -269,18 +269,22 @@ if test X${with_runtime} = XRelease; then AC_MSG_RESULT([Release]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[1]]) AC_SUBST(RUNTIME_DISABLE_ASSERTIONS,[[1]]) + AC_SUBST(RUNTIME_DEBUG_SYMBOLS,[[]]) elif test X${with_runtime} = XRelease+Asserts; then AC_MSG_RESULT([Release+Asserts]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[1]]) AC_SUBST(RUNTIME_DISABLE_ASSERTIONS,[[0]]) + AC_SUBST(RUNTIME_DEBUG_SYMBOLS,[[]]) elif test X${with_runtime} = XDebug; then AC_MSG_RESULT([Debug]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]]) AC_SUBST(RUNTIME_DISABLE_ASSERTIONS,[[1]]) + AC_SUBST(RUNTIME_DEBUG_SYMBOLS,[[1]]) elif test X${with_runtime} = XDebug+Asserts; then AC_MSG_RESULT([Debug+Asserts]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]]) AC_SUBST(RUNTIME_DISABLE_ASSERTIONS,[[0]]) + AC_SUBST(RUNTIME_DEBUG_SYMBOLS,[[1]]) else AC_MSG_ERROR([invalid configuration: ${with_runtime}]) fi @@ -348,6 +352,40 @@ else fi dnl ************************************************************************** +dnl User option to enable metaSMT constraint solvers and to specify the +dnl the location of the metaSMT root directory +dnl ************************************************************************** + +AC_ARG_WITH(metasmt, + AS_HELP_STRING([--with-metasmt], + [Location of metaSMT installation directory]),,) + +if test X$with_metasmt = X ; then + AC_SUBST(ENABLE_METASMT,[[0]]) +else + metasmt_root=`cd $with_metasmt 2> /dev/null; pwd` + + dnl AC_LANG(C++) + old_CPPFLAGS="$CPPFLAGS" + old_LDFLAGS="$LDFLAGS" + CPPFLAGS="$CPPFLAGS -I$metasmt_root/include" + LDFLAGS="$LDFLAGS -L$metasmt_root/lib -lmetaSMT" + AC_CHECK_HEADERS([$metasmt_root/include/metaSMT/DirectSolver_Context.hpp $metasmt_root/include/metaSMT/frontend/QF_BV.hpp],, [ + AC_MSG_ERROR([Unable to use $metasmt_root/include/metaSMT/DirectSolver_Context.hpp header]) + ]) + AC_LINK_IFELSE( + [AC_LANG_PROGRAM([#include $metasmt_root/include/metaSMT/frontend/QF_BV.hpp], [metaSMT::logic::QF_BV::new_bitvector(3)])], + [],[AC_MSG_CHECKING([for new_bitvector() in -lmetaSMT])],[AC_MSG_ERROR([Unable to link with libmetaSMT])]) + CPPFLAGS="$old_CPPFLAGS" + LDFLAGS="$old_LDFLAGS" + + AC_DEFINE(SUPPORT_METASMT, 1, [Supporting metaSMT API]) + AC_SUBST(ENABLE_METASMT,[[1]]) + AC_SUBST(METASMT_ROOT,$metasmt_root) + AC_SUBST(REQUIRES_RTTI,[[1]]) +fi + +dnl ************************************************************************** dnl * Check for dejagnu dnl ************************************************************************** AC_PATH_PROG(RUNTEST, [runtest]) |