[PPL-devel] Re: [Yap-users] Yap 5 bug? Not all required include files are installed under Cygwin
Vitor Santos Costa
vscosta at gmail.com
Sat Oct 15 04:50:33 CEST 2005
Yes, thanks for noticing that. I
believe in Makefile.in, rules for install_win32
you should replace
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.
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: Entering directory `/usr/local/distrib/Yap-5.0.0/library/random'
> /usr/bin/install -c random.dll /usr/local/lib/Yap
> All the best,
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> 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
More information about the PPL-devel