diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 14:29:58 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-19 19:09:27 -0400 |
commit | 7dd316a13b796d02985be63b1b03975a756fb624 (patch) | |
tree | ab348129940e25c4dde47c19568aea40d31a51ea /config | |
parent | 89a1304db9208a366c10136e8dee722f634015e9 (diff) |
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Diffstat (limited to 'config')
-rw-r--r-- | config/cudd.m4 | 120 |
1 files changed, 0 insertions, 120 deletions
diff --git a/config/cudd.m4 b/config/cudd.m4 deleted file mode 100644 index d905c1725..000000000 --- a/config/cudd.m4 +++ /dev/null @@ -1,120 +0,0 @@ -# CVC4_CHECK_CUDD -# --------------- -# Check for CUDD libraries and headers. Complicated because different -# packagers have packaged it differently. -AC_DEFUN([CVC4_CHECK_CUDD], [ -CUDD_CPPFLAGS= -CUDD_LDFLAGS= -CUDD_LIBS= -cvc4cudd=no -AC_MSG_CHECKING([whether user requested CUDD support]) -AC_ARG_WITH([cudd], - [AS_HELP_STRING([--with-cudd], [force linking/not linking against CUDD])], - [with_cudd_set=yes], - [with_cudd=no; with_cudd_set=no]) -AC_ARG_WITH([cudd-dir], - [AS_HELP_STRING([--with-cudd-dir=DIR], [path to cudd installation])], - [CUDD_DIR="$withval"], - [if test "$with_cudd_set" = yes -a "$with_cudd" != yes -a "$with_cudd" != no -a "$with_cudd" != check; then - dnl maybe the user gave --with-cudd=DIR ? - CUDD_DIR="$with_cudd" - with_cudd=yes - fi]) -if test -n "$CUDD_DIR" -a "$with_cudd_set" = no; then - dnl if --with-cudd-dir or CUDD_DIR given, force --with-cudd - dnl unless --with-cudd=... given explicitly - with_cudd=yes -fi -if test "$with_cudd" = no; then - if test "$with_cudd_set" = no; then - AC_MSG_RESULT([no (enable with --with-cudd)]) - else - AC_MSG_RESULT([no, CUDD disabled by user]) - fi -else - if test "$with_cudd" = check; then - AC_MSG_RESULT([no preference by user, will auto-detect]) - else - AC_MSG_RESULT([yes, CUDD enabled by user]) - fi - if test -z "$CUDD_DIR"; then - dnl default location if unspecified - CUDD_DIR=/usr - fi - AC_MSG_CHECKING([for C++ cudd includes under $CUDD_DIR]) - result="not found" - cvc4save_CPPFLAGS="$CPPFLAGS" - AC_LANG_PUSH([C++]) - for cuddinc in "$CUDD_DIR/include" "$CUDD_DIR/include/cudd" "$CUDD_DIR"; do - CPPFLAGS="$cvc4save_CPPFLAGS -I$cuddinc" - AC_COMPILE_IFELSE( - [AC_LANG_PROGRAM([ -#include <stdio.h> -#include "cuddObj.hh"], - [ -Cudd c; -BDD b = c.bddVar() | c.bddOne(); -])], - [ CUDD_CPPFLAGS="-I$cuddinc" - result="$cuddinc" - cvc4cudd=yes - break - ]) - done - CPPFLAGS="$cvc4save_CPPFLAGS" - AC_MSG_RESULT([$result]) - if test $cvc4cudd = yes; then - AC_MSG_CHECKING([for C++ cudd libraries under $CUDD_DIR]) - cvc4cudd=no - result="not found" - cvc4save_CPPFLAGS="$CPPFLAGS" - CPPFLAGS="$CPPFLAGS $CUDD_CPPFLAGS" - cvc4save_LDFLAGS="$LDFLAGS" - cvc4save_LIBS="$LIBS" - cvc4save_ac_link="$ac_link" - ac_link="libtool --mode=link $ac_link" - dnl This is messy. We try to find Fedora packages, Debian packages, and - dnl a built CUDD source directory. We can't -lutil or -lst because these - dnl names of CUDD libraries conflict with other libraries commonly - dnl installed. So we fall back to naming them directly. The CUDD - dnl sources build static libs only, so we go with that. - for cuddlibdirs in "-L$CUDD_DIR/lib" "-L$CUDD_DIR/lib/cudd" "-L$CUDD_DIR"; do - for cuddlibs in -lcuddxx -lcuddobj; do - LDFLAGS="$cvc4save_LDFLAGS $cuddlibdirs" - LIBS="$cvc4save_LIBS $cuddlibs" - AC_LINK_IFELSE( - [AC_LANG_PROGRAM([ -#include <stdio.h> -#include "cuddObj.hh"], - [ -Cudd c; -BDD b = c.bddVar() | c.bddOne(); -])], - [ CUDD_LDFLAGS="$cuddlibdirs" - CUDD_LIBS="$cuddlibs" - result="$cuddlibdirs $cuddlibs" - cvc4cudd=yes - break - ]) - done - if test -n "$CUDD_LDFLAGS"; then break; fi - done - CPPFLAGS="$cvc4save_CPPFLAGS" - LDFLAGS="$cvc4save_LDFLAGS" - LIBS="$cvc4save_LIBS" - ac_link="$cvc4save_ac_link" - AC_MSG_RESULT([$result]); - if test $cvc4cudd = yes; then - AC_DEFINE_UNQUOTED(CVC4_CUDD, [], [Defined if using the CU Decision Diagram package (cudd).]) - fi - fi - AC_LANG_POP([C++]) -fi -AC_SUBST([CUDD_CPPFLAGS]) -AC_SUBST([CUDD_LDFLAGS]) -AC_SUBST([CUDD_LIBS]) - -if test "$with_cudd" = yes -a "$cvc4cudd" = no; then - AC_ERROR([--with-cudd was given, but cudd not available]) -fi -])# CVC4_CHECK_CUDD |