[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Strange compilation failure while compiling axiom--boo
From: |
David MENTRE |
Subject: |
[Axiom-developer] Strange compilation failure while compiling axiom--book--1 |
Date: |
Sat, 27 Mar 2004 11:10:18 +0100 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
Hello,
I tried to compile latest axiom--book--1--patch-26 and the compilation
failed on RDETRS with following error:
[...]
0 making
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB
from
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.spad
AXIOM Computer Algebra System
Version of Saturday March 27, 2004 at 10:09:41
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
Using local database
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/compress.daase..
Using local database
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/interp.daase..
Using local database
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/operation.daase..
Using local database
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/category.daase..
Using local database
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/share/algebra/browse.daase..
(1) -> Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/apply.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/c-doc.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/c-util.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/profile.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/category.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/compiler.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/define.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/functor.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/info.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/iterator.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/modemap.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/nruncomp.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/package.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/htcheck.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/xruncomp.
Compiling AXIOM source code from file
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.spad
using old system compiler.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/parsing.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/bootlex.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/def.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/fnewmeta.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/metalex.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/metameta.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/parse.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/postpar.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/postprop.
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/autoload/preparse.
RDETRS abbreviates package TranscendentalRischDESystem
processing macro definition N ==> NonNegativeInteger
processing macro definition Z ==> Integer
processing macro definition RF ==> Fraction UP
processing macro definition V ==> Vector UP
processing macro definition U ==> Union(List UP,failed)
processing macro definition REC ==> Record(z1: UP,z2: UP,r1: UP,r2: UP)
processing macro definition Exports ==> -- the constructor category
processing macro definition Implementation ==> -- the constructor capsule
------------------------------------------------------------------------
initializing NRLIB RDETRS for TranscendentalRischDESystem
compiling into NRLIB RDETRS
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/FIELD.o
for category Field
[...]
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/STEP.o
for category StepThrough
importing MonomialExtensionTools(F,UP)
importing SmithNormalForm(UP,Vector UP,Vector UP,Matrix UP)
compiling exported monomRDEsys : (Fraction UP,Fraction UP,Fraction UP,UP ->
UP) -> Union(Record(a: UP,b: Fraction UP,h: UP,c1: Fraction UP,c2: Fraction
UP,t: UP),failed)
Time: 0.41 SEC.
compiling exported baseRDEsys : (Fraction UP,Fraction UP,Fraction UP) ->
Union(List Fraction UP,failed)
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/INT.o
for domain Integer
[...]
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/URAGG-.o
for domain UnaryRecursiveAggregate&
Time: 0.21 SEC.
compiling local diophant : (UP,UP,UP,UP,UP) -> Union(Record(z1: UP,z2:
UP,r1: UP,r2: UP),failed)
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/VECTOR.o
for domain Vector
[...]
Loading
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/NNI.o
for domain NonNegativeInteger
Time: 0.24 SEC.
compiling local SPDEsys : (UP,UP,UP,UP,UP,Integer,UP ->
UP,(F,F,F,UP,UP,Integer) -> Union(List UP,failed)) -> Union(List UP,failed)
Time: 0.06 SEC.
compiling local DSPDEsys : (F,UP,UP,UP,UP,Integer,UP -> UP) -> Union(List
UP,failed)
Time: 0.07 SEC.
>> System error:
Caught fatal error [memory may be damaged]
protected-symbol-warn called with (NIL)
(1) -> 0 making
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/RDETRS.o
from
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB
cp: ne peut évaluer
`/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/int/algebra/RDETRS.NRLIB/code.o':
Aucun fichier ou répertoire de ce type
make[3]: ***
[/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/mnt/linux/algebra/RDETRS.o]
Erreur 1
make[3]: quittant le répertoire «
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src/algebra »
make[2]: *** [algebradir] Erreur 2
make[2]: quittant le répertoire «
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1/src »
make[1]: *** [srcdir] Erreur 2
make[1]: quittant le répertoire «
/home/david/pub/axiom-libre/axiom-i386/axiom--book--1 »
make: *** [all] Erreur 2
address@hidden:~/pub/axiom-libre/axiom-i386/axiom--book--1$ exit
The full compilation log is at:
http://www.linux-france.org/~dmentre/tmp/make-x86-axiom--book--1-2004-03-27.log.gz
Any ideas on what I have done wrong? In fact, I have relaunched the
compilation and the failing file seems to have been compiled now. I
really don't understand. A latent memory bug in GCL?
My system, Debian GNU/Linux sarge (aka testing), linux kernel 2.6, 1 GB
of RAM.
Yours,
d.
--
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/
- [Axiom-developer] Strange compilation failure while compiling axiom--book--1,
David MENTRE <=