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

modified configure message for option --enable-cpling

Browse Source
This commit is contained in:
Fabrizio Riguzzi 2010-09-09 17:13:13 +02:00
parent 048390de0d
commit 64d2425321
2 changed files with 12201 additions and 2579 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14778
configure vendored
View File

File diff suppressed because it is too large Load Diff

2
configure.in
View File

@ -126,7 +126,7 @@ AC_ARG_ENABLE(dlcompat,
use_dlcompat="$enableval", use_dlcompat=no) use_dlcompat="$enableval", use_dlcompat=no)
AC_ARG_ENABLE(cplint, AC_ARG_ENABLE(cplint,
[ --enable-cplint[=DIR] enable the cplint library using the glu library in DIR/lib], [ --enable-cplint[=DIR] enable the cplint library using the CUDD software in DIR],
yap_cv_cplint=$enableval, yap_cv_cplint=no) yap_cv_cplint=$enableval, yap_cv_cplint=no)
AC_ARG_WITH(gmp, AC_ARG_WITH(gmp,