include support for April ILP system.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@608 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
cef69069de
commit
fc3beab705
@ -2301,7 +2301,7 @@ InitCPreds(void)
|
||||
InitForeignPreds();
|
||||
}
|
||||
#endif
|
||||
#if NUNO
|
||||
#if APRIL
|
||||
{
|
||||
extern void init_ol(void), init_time(void);
|
||||
|
||||
|
11
configure.in
11
configure.in
@ -55,6 +55,10 @@ AC_ARG_ENABLE(condor,
|
||||
[ --enable-condor allow Yap to be used from condor ],
|
||||
use_condor="$enableval", use_condor=no)
|
||||
|
||||
AC_ARG_ENABLE(april,
|
||||
[ --enable-april compile Yap to support April ILP system],
|
||||
use_april="$enableval", use_april=no)
|
||||
|
||||
AC_ARG_WITH(gmp,
|
||||
[ --with-gmp[=DIR] use GNU Multiple Precision in DIR],
|
||||
if test "$withval" = yes; then
|
||||
@ -593,6 +597,13 @@ if test "$depthlimit" = "yes"
|
||||
YAP_EXTRAS="$YAP_EXTRAS -DDEPTH_LIMIT=1"
|
||||
fi
|
||||
|
||||
if test "$use_april" = "yes"
|
||||
then
|
||||
YAP_EXTRAS="$YAP_EXTRAS -DDEPTH_LIMIT=1 -DAPRIL"
|
||||
LDFLAGS="$LDFLAGS -L./"
|
||||
LIBS="$LIBS -lApril"
|
||||
fi
|
||||
|
||||
if test "$lowleveltracer" = "yes"
|
||||
then
|
||||
YAP_EXTRAS="$YAP_EXTRAS -DLOW_LEVEL_TRACER=1"
|
||||
|
Reference in New Issue
Block a user