Segmentation fault building GNU Prolog 1.4.0
Roberto Bagnara <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Organization | Department of Mathematics, University of Parma, Italy |
| Message-ID | <[email protected]> |
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]