Subject: Problem with Maxima 5.17.1 and ECL 8.12.0
From: Oliver Kullmann
Date: Wed, 17 Dec 2008 21:13:04 +0000
Hi,
installing 5.17.1 with ecl in version 8.12.0 initially seems to work, but
then we get
;;; Note: Invoking external command:
;;; 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
; - Loading binary file "binary-ecl/rat3c.fas"
;;; Loading "/home/csoliver/SAT-Algorithmen/OKplatform/ExternalSources/builds/Maxima/ecl/maxima-5.17.1/src/binary-ecl/rat3c.fas"
An error occurred during initialization:
The function $JACOBI is undefined..
??
Oliver