[Axiom-developer] Strange compilation failure while compiling axiom--book--1

[David MENTRE]

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/