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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/yap-users