LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Slackware (https://www.linuxquestions.org/questions/slackware-14/)
-   -   gprolog Slack32 not compiling (Compiles fine on Slack64) (https://www.linuxquestions.org/questions/slackware-14/gprolog-slack32-not-compiling-compiles-fine-on-slack64-832321/)

Gavin Harper 09-15-2010 09:18 AM
gprolog Slack32 not compiling (Compiles fine on Slack64)
 
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 (Post 4098594)
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'


All times are GMT -5. The time now is 05:24 AM.