[PPL-devel] Re: [Yap-users] Yap 5 bug? Not all required include files are installed under Cygwin

[Vitor Santos Costa]

Yes, thanks for noticing that. I
believe in Makefile.in, rules for install_win32

you should replace

	$(INSTALL) $(srcdir)/include/c_interface.h
$(DESTDIR)$(INCLUDEDIR)/c_interface.h

by
	for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done

I'll test that Monday.

I'll update CVS to do a better solution, which would be to join what
is common between install and install_win32.

Cheers

Vitor


On 9/18/05, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>
> Hi there,
>
> the subject says it all.  Under Cygwin, c_interface.h is installed in $PREFIX/include/Yap.
> However,  c_interface.h immediately includes YapInterface.h, and this is not installed.
> Here is the relevant excerpt from the output of `make install':
>
> ...
> /usr/bin/install -c ./H/TermExt.h ./H/Atoms.h ...
> /usr/bin/install -c ./include/c_interface.h /usr/local/include/Yap/c_interface.h
> /usr/bin/install -c config.h /usr/local/include/Yap/config.h
> (cd library/random; make install)
> make[1]: Entering directory `/usr/local/distrib/Yap-5.0.0/library/random'
> /usr/bin/install -c random.dll /usr/local/lib/Yap
> ...
>
> All the best,
>
>      Roberto
>
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara at cs.unipr.it
>
>
> -------------------------------------------------------
> SF.Net email is sponsored by:
> Tame your development challenges with Apache's Geronimo App Server.
> Download it for free - -and be entered to win a 42" plasma tv or your very
> own Sony(tm)PSP.  Click here to play: http://sourceforge.net/geronimo.php
> _______________________________________________
> Yap-users mailing list
> Yap-users at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>