[PPL-devel] Re: [Yap-users] Problems compiling current CVS HEAD version

[Vitor Santos Costa]

This usually happens when you have .h files from an older version.
You may want to cleanup your build directory.

BTW, the CVS version has significant changes on mpz handling, just
introduced, and which were motivated by our discussion. YAP does not
change mpz allocation handlers now, and I've tried to isolate YAP
memory allocation from GMP mempry allocation. This has also forced me
to change the interface. The function BigNumOfTerm now has an extra
argument, which is the mpz_t where you expect to have the final
result. The manual shows a short example with the new interface.

Sorry for the changes, but I think it is the right way to do it
(otherwise Yap would still be responsbile for the mpz object).

Happy New Year to Everyone

Vitor

On 1/4/06, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>
> Hi there,
>
> since we are still having problem with bignums, I have tried compiling the
> current CVS HEAD version of YAP.
> However, the make process fails at this point:
>
> ...
> $ gcc -c -DBP_FREE -O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes -DCOROUTINING=1 -DRATIONAL_TREES=1 -DDEPTH_LIMIT=1  -DHAVE_CONFIG_H -I. -I./H -I./OPTYap -I./BEAM ./C/adtdefs.c -o adtdefs.o
> ./C/adtdefs.c:309: warning: no previous prototype for 'Yap_GetOpProp'
> ./C/adtdefs.c: In function 'Yap_GetOpProp':
> ./C/adtdefs.c:317: error: 'struct <anonymous>' has no member named 'OpModule'
> ./C/adtdefs.c:318: error: 'struct <anonymous>' has no member named 'OpModule'
> make: *** [adtdefs.o] Error 1
>
> I am using GCC 4.0.2 on a fully-updated Fedora Core 4 system.
> Cheers,
>
>       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
>
>
> -------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
> for problems?  Stop!  Download the new AJAX search engine that makes
> searching your log files as easy as surfing the  web.  DOWNLOAD SPLUNK!
> http://ads.osdn.com/?ad_id=7637&alloc_id=16865&op=click
> _______________________________________________
> Yap-users mailing list
> Yap-users at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/yap-users
>