yap-users

[Yap-users] Question regarding Yap 4.2.0

[HOLMVALL M. <mal...@te...>]

My name is Malin Holmvall and I am studying Computer and Systems Science =
at the University of Stockholm, Sweden.

At present I am writing my Master=92s Thesis in the area of Inductive =
Logic Programming. I am working with the ILP-system Aleph which require =
the Prolog compiler YAP.

I have two questions regarding the installation of Yap and would be =
grateful if you could help me.

If I install Yap 4.2, the Solaris 2.6 binary code, from your website  =
http://www.ncc.up.pt/~vsc/Yap/
Is the flag -DDEPTH_LIMIT=3D1 included in the compiler options?

We have tried to install YAP 4.2 by compiling the source code. When we =
use the compiler gnu gcc on a Solaris 5.7 machine we get two warnings =
under configure:
What are we doing wrong?

rue Yatom.h
makedepend: warning:  ./iopreds.c, line 382: cannot find include file
"readline/readline.h"
        not in ./readline/readline.h
        not in ./readline/readline.h
        not in ./readline/readline.h
        not in ./OPTYap/readline/readline.h
        not in /usr/include/readline/readline.h
makedepend: warning:  ./load_aout.c, line 27: cannot find include file
"a.out.h"
        not in ./a.out.h
        not in ./a.out.h
        not in ./a.out.h
        not in ./OPTYap/a.out.h
        not in /usr/include/a.out.h



Best Regards
Malin Holmvall

Re: [Yap-users] Question regarding Yap 4.2.0

[Vitor S. C. <vi...@bi...>]

Hi Malin,

>=20
> My name is Malin Holmvall and I am studying Computer and Systems Scienc=
e at the University of Stockholm, Sweden.
>=20
> At present I am writing my Master=C2=92s Thesis in the area of Inductiv=
e Logic Programming. I am working with the ILP-system Aleph which require=
 the Prolog compiler YAP.
>=20

Yes.

> I have two questions regarding the installation of Yap and would be gra=
teful if you could help me.
>=20
> If I install Yap 4.2, the Solaris 2.6 binary code, from your website  h=
ttp://www.ncc.up.pt/~vsc/Yap/
> Is the flag -DDEPTH_LIMIT=3D1 included in the compiler options?
>=20

No.

> We have tried to install YAP 4.2 by compiling the source code. When we =
use the compiler gnu gcc on a Solaris 5.7 machine we get two warnings und=
er configure:
> What are we doing wrong?
>=20
> rue Yatom.h
> makedepend: warning:  ./iopreds.c, line 382: cannot find include file
> "readline/readline.h"
>         not in ./readline/readline.h
>         not in ./readline/readline.h
>         not in ./readline/readline.h
>         not in ./OPTYap/readline/readline.h
>         not in /usr/include/readline/readline.h
> makedepend: warning:  ./load_aout.c, line 27: cannot find include file
> "a.out.h"
>         not in ./a.out.h
>         not in ./a.out.h
>         not in ./a.out.h
>         not in ./OPTYap/a.out.h
>         not in /usr/include/a.out.h
>=20

Well, the warnings are strange, but it may be the case that the system
will still compile. What happens when you actually try that?

Cheers,

Vitor