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:[email protected]
_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog
