Segmentation fault building GNU Prolog 1.4.0

[Roberto Bagnara]

This happens on an x86_64 system running Ubuntu 11.10:

$ cd gprolog-1.4.0/src
$ ./configure --disable-regs
...
$ make
...
        -------------------------------
        --- GNU PROLOG INSTALLATION ---
        -------------------------------

GNU Prolog version: 1.4.0 (Jul 7 2011)
Operating system  : linux-gnu
Processor         : x86_64
Size of a WAM word: 64 bits
C compiler        : gcc
C flags           : -O3 -fomit-frame-pointer
C flags machine   :
Assembler         : as
Assembler flags   :
Loader flags      :
Loader libraries  : -lm
Use line editor   : Yes
Use piped consult : Yes
Use sockets       : Yes
Use FD solver     : Yes
Working sigaction : Yes
Use machine regs. : No
Used register(s)  :

        ------------------------------
...
gplc -c inst_codif.wam
gplc -c first_arg.wam
gplc -c indexing.wam
gplc -c wam_emit.wam
[ ! -f  pl2wam ] || cp pl2wam pl2wam0
gplc -o pl2wam --no-fd-lib-warn --no-top-level pl2wam.o read_file.o syn_sugar.o 
internal.o code_gen.o reg_alloc.o inst_codif.o first_arg.o indexing.o wam_emit.o
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.4.0/src/Pl2Wam'
make[1]: Entering directory `/usr/local/distrib/gprolog-1.4.0/src/Fd2C'
gplc -c --fast-math fd2c.pl

Fatal Error: Segmentation Violation
compilation failed
make[1]: *** [fd2c.o] Error 1
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.4.0/src/Fd2C'
make: *** [all] Error 1



--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden