be more precise about checking if clpqr and friends are really there.

This commit is contained in:
Vitor Santos Costa 2009-03-23 15:27:59 +00:00
parent ee26527482
commit d18c0ceeb7
2 changed files with 7 additions and 7 deletions

6
configure vendored
View File

@ -6136,7 +6136,7 @@ CIFLAGS=-I.
if test "$use_chr" = no; then
ENABLE_CHR="@# "
elif test -d "$srcdir"/packages/chr; then
elif test -e "$srcdir"/packages/chr/Makefile.in; then
ENABLE_CHR=""
else
ENABLE_CHR="@# "
@ -6144,7 +6144,7 @@ fi
if test "$use_clpqr" = no; then
ENABLE_CLPQR="@# "
elif test -d "$srcdir"/packages/clpqr; then
elif test -e "$srcdir"/packages/clpqr/Makefile.in; then
ENABLE_CLPQR=""
else
ENABLE_CLPQR="@# "
@ -6152,7 +6152,7 @@ fi
if test "$yap_cv_jpl" = no; then
ENABLE_JPL="@#"
elif test -d "$srcdir"/packages/clpqr; then
elif test -e "$srcdir"/packages/jpl/Makefile.in; then
ENABLE_JPL=""
JAVA_HOME="$yap_cv_jpl"
if test "x$JAVALIBS" = "x"; then

View File

@ -635,15 +635,15 @@ CIFLAGS=-I.
if test "$use_chr" = no; then
ENABLE_CHR="@# "
elif test -d "$srcdir"/packages/chr; then
elif test -e "$srcdir"/packages/chr/Makefile.in; then
ENABLE_CHR=""
else
ENABLE_CHR="@# "
fi
if test "$use_clpqr" = no; then
ENABLE_CLPQR="@# "
elif test -d "$srcdir"/packages/clpqr; then
ENABLE_CLPQR="@# "
elif test -e "$srcdir"/packages/clpqr/Makefile.in; then
ENABLE_CLPQR=""
else
ENABLE_CLPQR="@# "
@ -651,7 +651,7 @@ fi
if test "$yap_cv_jpl" = no; then
ENABLE_JPL="@#"
elif test -d "$srcdir"/packages/clpqr; then
elif test -e "$srcdir"/packages/jpl/Makefile.in; then
ENABLE_JPL=""
JAVA_HOME="$yap_cv_jpl"
if test "x$JAVALIBS" = "x"; then