Re: gplc and linking with other libraries

[Daniel Diaz]

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:address@hidden

-- 
Daniel Diaz   address@hidden
http://pauillac.inria.fr/~diaz
gprolog --version 2>&1 | sed -n -e 's/By //p'