gprolog-1.2.19.tar.gz

Daniel Diaz wrote:

> It is stable, no problem.

Does a more recent one better recognize the x86_64 bits from AMD ?

    -------------------------------
    --- GNU PROLOG INSTALLATION ---
    -------------------------------

    GNU Prolog version: 1.2.19 (Jun 13 2005)
    Operating system : linux-gnu
    Processor : x86_64
    Size of a word : 64 bits
    C compiler : gcc
    C flags : -O3 -fomit-frame-pointer
    C flags machine :
    Loader flags :
    Loader libraries : -lm
    Use line editor : Yes
    Use piped consult : Yes
    Use sockets : Yes
    Use FD solver : Yes
    Use machine regs. : Yes
    Used register(s) : r12 r13 r14 r15

Well, perhaps it is my crummy version of gcc,

    [bancroft@skolem src]$ gcc -v
    Using built-in specs.
    Target: x86_64-redhat-linux
    Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
    --infodir=/usr/share/info --enable-shared --enable-threads=posix
    --enable-checking=release --with-system-zlib --enable-__cxa_atexit
    --disable-libunwind-exceptions --enable-libgcj-multifile
    --enable-languages=c,c++,objc,java,f95,ada --enable-java-awt=gtk
    --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre
    --host=x86_64-redhat-linux
    Thread model: posix
    gcc version 4.0.2 20051125 (Red Hat 4.0.2-8)

In any case, my build fails as follows,

    gplc -c -C '-O3 -fomit-frame-pointer' engine.c
    engine.c: In function ‘Call_Prolog’:
    engine.c:318: error: invalid lvalue in assignment
    engine.c:331: error: invalid lvalue in assignment
    engine.c: In function ‘Call_Prolog_Next_Sol’:
    engine.c:351: error: invalid lvalue in assignment
    engine.c:359: error: invalid lvalue in assignment
    engine.c: In function ‘Keep_Rest_For_Prolog’:
    engine.c:380: error: invalid lvalue in assignment
    engine.c:386: error: invalid lvalue in assignment
    compilation failed
    make[1]: *** [engine.o] Error 1
    make[1]: Leaving directory `/usr/local/src/gprolog-1.2.19/src/EnginePl'
    make: *** [all] Error 1

Has anyone else had better luck with this combination ?

more,
l8r,
v

-- 
"The future is here. It's just not evenly distributed yet."
 -- William Gibson, quoted by Whitfield Diffie