It seems GNU Prolog has some problem to be compiled with gcc 3.0.3. I have to check this (I use 2.96). Maybe you can try the configure with:
./configure --disable-ebp --disable-regs
I think the problems comes from the use of a machine register. These option prevent their use. If you try it I'd like to have your feedback.
Thank you
Roberto Bagnara wrote:
Daniel Diaz wrote:
Hello Roberto,
I have fixed this problem recently because it was really problematic. It is fixed in 1.2.10 which you can find in the unstable directory: ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-1.2.10.tar.gz (a RPM is also available - compiled under RedHat 7.2)
So something like: gplc -o EXENAME some.pl some.o -L '-Lmylibdir -lmylib' should work now...
Thanks Daniel. It works indeed: I am now able to produce a working GNU Prolog engine statically linked with our library. There is something strange however: the _standard_ `gprolog' executable created by configure, make, make install dies with a segmentation fault. Here is what happens:
$ gdb /usr/local/bin/gprolog GNU gdb Red Hat Linux (5.1-1) Copyright 2001 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "i386-redhat-linux"... (gdb) r Starting program: /usr/local/bin/gprolog
Fatal Error: Memory allocation fault (malloc) in top_level.c:90
Program exited with code 01. (gdb)
I know 1.2.10 is of the unstable kind, but I though you would like to know. I have compiled it with
$ gcc -v Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.0.3/specs Configured with: ../gcc-3.0.3/configure --prefix=/usr/local Thread model: single gcc version 3.0.3
and my machine is a RedHat 7.2 GNU/Linux system. 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@cs.unipr.it