Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
This commit is contained in:
commit
033f33ad96
3
configure
vendored
3
configure
vendored
@ -6972,7 +6972,8 @@ _ACEOF
|
||||
LIBS="-lJudy $LIBS"
|
||||
|
||||
else
|
||||
as_fn_error $? "libJudy not found, UDI will only work with one Index at a time" "$LINENO" 5
|
||||
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: libJudy not found, UDI will only work with one Index at a time" >&5
|
||||
$as_echo "libJudy not found, UDI will only work with one Index at a time" >&6; }
|
||||
fi
|
||||
|
||||
fi
|
||||
|
@ -880,7 +880,7 @@ else
|
||||
fi
|
||||
|
||||
if test "$yap_cv_judy" != "no"; then
|
||||
AC_CHECK_LIB(Judy, Judy1Set,,[AC_MSG_ERROR([libJudy not found, UDI will only work with one Index at a time])])
|
||||
AC_CHECK_LIB(Judy, Judy1Set,,[AC_MSG_RESULT([libJudy not found, UDI will only work with one Index at a time])])
|
||||
fi
|
||||
|
||||
dnl if test "$yap_cv_cudd" != "no"
|
||||
|
Reference in New Issue
Block a user