diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-03-15 20:32:13 +0000 |
| commit | 8fb7c711588cb070c1e4a1d076b47f9277bfc3fe (patch) | |
| tree | cedd18e59b24d8b6adf79bb6581b66b1af23d17a /configure.ac | |
| parent | 1bdb81e52c7865f89663f97f6bc1244f3e4f6b12 (diff) | |
Merge from cudd branch. This mostly just adds support for linking
against cudd libraries, the propositional_query class (in util/),
which uses cudd if it's available (and otherwise answers UNKNOWN for
all queries), and the arith theory support for it (currently disabled
per Tim's request, so he can clean it up).
Other changes include:
* contrib/debug-keys - script to print all used keys under Debug(), Trace()
* test/regress/run_regression - minor fix (don't export a variable)
* configure.ac - replace a comment removed by dejan's google perf commit
* some minor copyright/documentation updates, and minor changes to source
text to make 'clang --analyze' happy.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 66e8acd7d..05e3bac8e 100644 --- a/configure.ac +++ b/configure.ac @@ -662,6 +662,49 @@ AC_SEARCH_LIBS([clock_gettime], [rt], [Defined to 1 if clock_gettime() is supported by the platform.])], [AC_LIBOBJ([clock_gettime])]) +AC_ARG_WITH([cudd-dir], + [AS_HELP_STRING([--with-cudd-dir=DIR], [path to cudd installation])], + [CUDD_DIR="$withval"]) +if test -z "$CUDD_DIR"; then + CUDD_DIR=/usr +fi +AC_MSG_CHECKING([for cudd includes under $CUDD_DIR]) +CUDD_CPPFLAGS= +CUDD_LDFLAGS= +cvc4cudd=no +result="not found" +for cuddinc in "$CUDD_DIR/include" "$CUDD_DIR/include/cudd" "$CUDD_DIR"; do + if test -r "$cuddinc/cudd.h"; then + dnl TODO - should do a TRY_COMPILE instead + CUDD_CPPFLAGS="\"-I$cuddinc\"" + result="$cuddinc" + cvc4cudd=yes + break + fi +done +AC_MSG_RESULT([$result]) +if test $cvc4cudd = yes; then + AC_MSG_CHECKING([for cudd libraries under $CUDD_DIR]) + cvc4cudd=no + result="not found" + for cuddlib in "$CUDD_DIR/lib" "$CUDD_DIR/lib/cudd" "$CUDD_DIR"; do + if test -r "$cuddlib/libcuddxx.la"; then + dnl TODO - should do a TRY_LINK instead, that has the extra benefit + dnl of making sure both shared & static work + CUDD_LDFLAGS="\"-L$cuddlib\" -lcuddxx" + result="$cuddlib" + cvc4cudd=yes + break + fi + done + 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_SUBST([CUDD_CPPFLAGS]) +AC_SUBST([CUDD_LDFLAGS]) + # Check for antlr C++ runtime (defined in config/antlr.m4) AC_LIB_ANTLR |