Re: Segmentation fault building GNU Prolog 1.4.0

[Daniel Diaz]

thank you for this bug report.

This will be fixed in the next release.

a workaround consists in the following patch

--- src/EnginePl/machine.h    8 Apr 2011 16:16:16 -0000    1.26
+++ src/EnginePl/machine.h    14 Nov 2011 12:38:04 -0000
@@ -149,6 +149,10 @@
 #define NO_MACHINE_REG_FOR_REG_BANK
 #endif

+#if defined(M_x86_64) && defined(NO_USE_REGS)
+#define NO_MACHINE_REG_FOR_REG_BANK
+#endif
+

 //#if defined(_MSC_VER) && defined(M_x86_64)
 //#define NO_MACHINE_REG_FOR_REG_BANK

Daniel


Le 13/11/2011 09:41, Roberto Bagnara a écrit :
> 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


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.