[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