gprolog Slack32 not compiling (Compiles fine on Slack64)

Gavin Harper · 09-15-2010, 09:18 AM

I am rebuilding all my Software for x86 due to an impending switch from 64 to 32.

I have an issue with gprolog. It will not compile on x86, I get this error:

gplc -c --fast-math fd2c.pl
fd2c.pl:215-220: fatal error: exception raised: error(instantiation_error,sort/2)
compilation failed
make[1]: *** [fd2c.o] Error 1
make[1]: Leaving directory `/tmp/SBo/gprolog-1.3.1/src/Fd2C'
make: *** [all] Error 1

Any ideas?

knudfl · 09-15-2010, 02:35 PM

The cvs version : Not quite the same error in src/Fd2C/.

Getting the cvs : http://sourceforge.net/scm/?type=cvs&group_id=9715
1)
cvs -d: pserver:anonymous@gprolog.cvs.sourceforge.net:/cvsroot/gprolog login
( And : <Enter> )
2)
cvs -z3 -d: pserver:anonymous@gprolog.cvs.sourceforge.net:/cvsroot/gprolog co -P src

( cd src/src/ && ./configure )

The only solution ( for both versions ), I can find right now, is :
./configure --disable-fd-solver
( Please see ' ./configure --help ' )
.....

igadoter · 09-15-2010, 02:41 PM

Never heard about prolog for Linux. Thanks.

Gavin Harper · 09-15-2010, 09:43 PM

Quote:

Originally Posted by knudfl

The cvs version : Not quite the same error in src/Fd2C/.

Getting the cvs : http://sourceforge.net/scm/?type=cvs&group_id=9715
1)
cvs -d: pserver:anonymous@gprolog.cvs.sourceforge.net:/cvsroot/gprolog login
( And : <Enter> )
2)
cvs -z3 -d: pserver:anonymous@gprolog.cvs.sourceforge.net:/cvsroot/gprolog co -P src

( cd src/src/ && ./configure )

The only solution ( for both versions ), I can find right now, is :
./configure --disable-fd-solver
( Please see ' ./configure --help ' )
.....

This worked, but it puzzles me why it compiles fine on Slackware64 (same setup, machine, packages installed) but not Slackware32...

Odd...

knudfl · 09-17-2010, 02:33 PM

Debian uses these options :
./configure --without-ebp --disable-regs --enable-watermark

.. And it seems, that the 'src/Fd2C/' files are then used.
http://packages.debian.org/sid/gprolog
http://ftp.de.debian.org/debian/pool....0.orig.tar.gz
The "patch" http://ftp.de.debian.org/debian/pool....debian.tar.gz
Please see the file gprolog-1.3.0/debian/rules (when the patch is unpacked).
.....
.....

32bit , make ..

Code:

make[1]: Entering '/home/knudfl/7tmp/gprolog-1.3.0/src/Fd2C'
gplc -c --fast-math fd2c.pl
gplc -c --fast-math read_file.pl
gplc -c --fast-math parse.pl
gplc -c --fast-math compile.pl
gplc -o fd2c --no-fd-lib --min-bips fd2c.o read_file.o parse.o compile.o
make[1]: Leaving '/home/knudfl/7tmp/gprolog-1.3.0/src/Fd2C'