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

configure detection.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-06-16 21:05:29 +01:00
parent edb982cfff
commit 8d65561494
2 changed files with 14537 additions and 4095 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18122
configure vendored
View File

File diff suppressed because it is too large Load Diff

4
configure.in
View File

@ -850,7 +850,7 @@ fi
if test "$yap_cv_cudd" != no; then if test "$yap_cv_cudd" != no; then
oldlibs="$LIBS" oldlibs="$LIBS"
if test "$withval" = "yes"; then if test "$yap_cv_cudd" != "NONE"; then
if test -d "$yap_cv_cudd"/include/cudd; then if test -d "$yap_cv_cudd"/include/cudd; then
CUDD_CPPFLAGS="-I $yap_cv_cudd/include/cudd" CUDD_CPPFLAGS="-I $yap_cv_cudd/include/cudd"
else else
@ -859,7 +859,7 @@ if test "$yap_cv_cudd" != no; then
cudd_dir="$yap_cv_cudd" cudd_dir="$yap_cv_cudd"
elif test -e /usr/include/cudd; then elif test -e /usr/include/cudd; then
CUDD_CPPFLAGS="-I /usr/include/cudd" CUDD_CPPFLAGS="-I /usr/include/cudd"
cudd_dir="$withval" cudd_dir="$yap_cv_cudd"
elif test "$prefix" != "NONE"; then elif test "$prefix" != "NONE"; then
if test -d "$prefix"/include/cudd; then if test -d "$prefix"/include/cudd; then
CUDD_CPPFLAGS="-I $prefix/include/cudd" CUDD_CPPFLAGS="-I $prefix/include/cudd"