diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

improve finding cuddd.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-03-01 08:42:19 +00:00
parent 78fb13e651
commit 67cd8b303e
2 changed files with 14632 additions and 3962 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18522
configure vendored
View File

File diff suppressed because it is too large Load Diff

72
configure.in
View File

@ -257,28 +257,58 @@ AC_ARG_WITH(minisat,
AC_ARG_WITH(cudd, AC_ARG_WITH(cudd,
[ --with-cudd[=DIR] use CUDD package in DIR], [ --with-cudd[=DIR] use CUDD package in DIR],
if test "$withval" = yes; then yap_cv_cudd="$withval"
if test "$prefix" = "NONE"; then if test "$withval" != no; then
yap_cv_cudd=/usr/local/cudd oldlibs="$LIBS"
if test "$withval" != "yes"; then
CUDD_CPPFLAGS="-I $yap_cv_cudd/include"
cudd_dir="$withval"
elif test -e /usr/include/cudd; then
CUDD_CPPFLAGS="-I /usr/include/cudd"
cudd_dir="$withval"
elif test "$prefix" != "NONE"; then
CUDD_CPPFLAGS="-I $prefix/include"
cudd_dir="$prefix"
else else
yap_cv_cudd=$prefix/cudd; cudd_dir=/usr/local
fi fi
CUDD_LDFLAGS="-L $yap_cv_cudd/lib -lcudd -lmtr -lst -lutil -lepd" dnl cudd can be most everywhere
CUDD_CPPFLAGS="-I $yap_cv_cudd/include" if test -d "$cudd_dir/lib64" -a "$YAP_TARGET" = amd64; then
elif test "$withval" = no; then LIBS="$LIBS -L $cudd_dir/lib64"
yap_cv_cudd=no elif test -d "$cudd_dir/lib"; then
elif test "$withval" = /opt/local; then LIBS="$LIBS -L $cudd_dir/lib"
yap_cv_cudd=$with_cudd fi
CUDD_LDFLAGS="-L/opt/local/lib/cudd -lcudd" if test -d "$cudd_dir/util"; then
CUDD_CPPFLAGS="-I /opt/local/include/cudd" LIBS="$LIBS -L $cudd_dir/util"
elif test "$withval" = /usr; then fi
yap_cv_cudd=$with_cudd AC_SEARCH_LIBS(util_print_cpu_stats, [cuddutil util])
CUDD_LDFLAGS="-lcudd -lmtr -lcuddst -lcuddutil -lepd" if test -d "$cudd_dir/st"; then
CUDD_CPPFLAGS="-I /usr/include/cudd" LIBS="$LIBS -L $cudd_dir/st"
else fi
yap_cv_cudd=$with_cudd AC_SEARCH_LIBS(st_insert, [cuddst st])
CUDD_LDFLAGS="$yap_cv_cudd/cudd/libcudd.a $yap_cv_cudd/mtr/libmtr.a $yap_cv_cudd/st/libst.a $yap_cv_cudd/util/libutil.a $yap_cv_cudd/epd/libepd.a" if test -d "$cudd_dir/epd"; then
CUDD_CPPFLAGS="-I $yap_cv_cudd/include" LIBS="$LIBS -L $cudd_dir/epd"
fi
AC_SEARCH_LIBS(EpdAdd, epd)
if test -d "$cudd_dir/mtr"; then
LIBS="$LIBS -L $cudd_dir/mtr"
fi
AC_SEARCH_LIBS(Mtr_InitTree, [mtr])
if test -d "$cudd_dir/cudd"; then
LIBS="$LIBS -L $cudd_dir/cudd"
fi
AC_SEARCH_LIBS(Cudd_Init, [cudd], [cudd_installed="yes"], [cudd_installed="no"])
if test "$cudd_installed" = yes; then
CUDD_LDFLAGS="$LIBS"
else
cat << EOF
##################################################################
# ERROR: Could not find cudd library. Either I don't have the
# correct path, or CUDD is installed in some strange way
##################################################################
EOF
fi
LIBS="$oldlibs"
fi, fi,
[yap_cv_cudd=no]) [yap_cv_cudd=no])