Problem with Maxima 5.17.1 and ECL 8.12.0



>>>>> "Oliver" == Oliver Kullmann <O.Kullmann at swansea.ac.uk> writes:

    Oliver> Hi,
    Oliver> installing 5.17.1 with ecl in version 8.12.0 initially seems to work, but
    Oliver> then we get

    Oliver> ;;; Note: Invoking external command:
    Oliver> ;;;   gcc -o "/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/builds/Maxima/ecl/maxima-5.17.1/src/binary-ecl/rat3c.fas" -L"/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Ecl/8.12.0/lib/" "/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/builds/Maxima/ecl/maxima-5.17.1/src/ECLINITrM1PcT.o" "/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/builds/Maxima/ecl/maxima-5.17.1/src/binary-ecl/rat3c.o"  -shared -Wl,-rpath=/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Ecl/8.12.0/lib -Wl,-rpath=/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Ecl/8.12.0/lib -L/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/Installations/Gmp/4.2.3/lib -lecl -ldl  -lm   -lgmp
    Oliver> ;      - Loading binary file "binary-ecl/rat3c.fas"
    Oliver> ;;; Loading "/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/builds/Maxima/ecl/maxima-5.17.1/src/binary-ecl/rat3c.fas"
    Oliver> An error occurred during initialization:
    Oliver> The function $JACOBI is undefined..

Interesting.  I see this error when I use some random post 0.9l pre
8.12.0 version of ecl on my Linux box.

And coincidentally, I just built ecl 8.12 on my Solaris box, and this
issue is not there.  I'll try later on my Linux box with 8.12.0.

Ray