Re: [Axiom-developer] autoload

[Camm Maguire]

Greetings!  I'm just uploading now a temporary work around to see if
there are any other issues on the dlopen systems.  I just patched the
Makefile.pamphlet in src/algebra (only on these systems) to copy
prebuilt *.daase files in place of attempting a rebuild, for now.

Would be interested in knowing your progress on the Zaurus.  Axiom on
Debian ARM/Linux looked like it was building great, and then
mysteriously halted near the end, perhaps due to an autobuilder
timeout.  (The Debian autobuilders will kill a build if they don't
generate output after a certain interval.)

You can see the log at:

http://buildd.debian.org/fetch.php?&pkg=axiom&ver=0.0.0cvs-9&arch=arm&stamp=1067765668&file=log&as=raw

which ends with:

------------------------------------------------------------------------
   ExpertSystemToolsPackage is now explicitly exposed in frame initial 
   ExpertSystemToolsPackage will be automatically loaded when needed 
      from /build/buildd/axiom-0.0.0cvs/int/algebra/ESTOOLS.NRLIB/code

(1) -> 0 making /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ESTOOLS.o from 
/build/buildd/axiom-0.0.0cvs/int/algebra/ESTOOLS.NRLIB
0 making /build/buildd/axiom-0.0.0cvs/int/algebra/EXPEXPAN.spad from 
/build/buildd/axiom-0.0.0cvs/src/algebra/expexpan.spad.pamphlet
0 making /build/buildd/axiom-0.0.0cvs/int/algebra/EXPEXPAN.NRLIB from 
/build/buildd/axiom-0.0.0cvs/int/algebra/EXPEXPAN.spad
GCL (GNU Common Lisp)  (2.6.1) Fri Oct 31 00:55:17 EST 2003
Licensed under GNU Library General Public License
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.

(AXIOM Sockets) The AXIOM server number is undefined.
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
Saturday November 1, 2003 at 03:27:02 
-----------------------------------------------------------------------------
 
   Using local database 
/build/buildd/axiom-0.0.0cvs/src/share/algebra/compress.daase..   Using local 
database /build/buildd/axiom-0.0.0cvs/src/share/algebra/interp.daase..
   Using local database 
/build/buildd/axiom-0.0.0cvs/src/share/algebra/operation.daase..
   Using local database 
/build/buildd/axiom-0.0.0cvs/src/share/algebra/category.daase..
   Using local database 
/build/buildd/axiom-0.0.0cvs/src/share/algebra/browse.daase..
(1) ->    Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/apply.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/c-doc.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/c-util.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/profile.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/category.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/compiler.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/define.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/functor.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/info.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/iterator.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/modemap.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/nruncomp.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/package.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/htcheck.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/xruncomp.
   Compiling AXIOM source code from file 
      /build/buildd/axiom-0.0.0cvs/int/algebra/EXPEXPAN.spad using old 
      system compiler.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/parsing.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/bootlex.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/def.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/fnewmeta.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/metalex.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/metameta.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/parse.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/postpar.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/postprop.
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/autoload/preparse.
   EXPEXPAN abbreviates domain ExponentialExpansion 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ACF.o for 
      category AlgebraicallyClosedField 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FIELD.o for 
      category Field 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/EUCDOM.o for 
      category EuclideanDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PID.o for 
      category PrincipalIdealDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/GCDDOM.o for 
      category GcdDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/INTDOM.o for 
      category IntegralDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/COMRING.o for
      category CommutativeRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RING.o for 
      category Ring 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RNG.o for 
      category Rng 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ABELGRP.o for
      category AbelianGroup 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CABMON.o for 
      category CancellationAbelianMonoid 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ABELMON.o for
      category AbelianMonoid 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ABELSG.o for 
      category AbelianSemiGroup 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/SETCAT.o for 
      category SetCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/BASTYPE.o for
      category BasicType 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/KOERCE.o for 
      category CoercibleTo 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/SGROUP.o for 
      category SemiGroup 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/MONOID.o for 
      category Monoid 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/LMODULE.o for
      category LeftModule 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/BMODULE.o for
      category BiModule 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RMODULE.o for
      category RightModule 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ALGEBRA.o for
      category Algebra 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/MODULE.o for 
      category Module 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ENTIRER.o for
      category EntireRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/UFD.o for 
      category UniqueFactorizationDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/DIVRING.o for
      category DivisionRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RADCAT.o for 
      category RadicalCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/TRANFUN.o for
      category TranscendentalFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/TRIGCAT.o for
      category TrigonometricFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ATRIG.o for 
      category ArcTrigonometricFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/HYPCAT.o for 
      category HyperbolicFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/AHYP.o for 
      category ArcHyperbolicFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ELEMFUN.o for
      category ElementaryFunctionCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FS.o for 
      category FunctionSpace 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ES.o for 
      category ExpressionSpace 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ORDSET.o for 
      category OrderedSet 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RETRACT.o for
      category RetractableTo 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/IEVALAB.o for
      category InnerEvalable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/EVALAB.o for 
      category Evalable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PATAB.o for 
      category Patternable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/KONVERT.o for
      category ConvertibleTo 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FPATMAB.o for
      category FullyPatternMatchable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/TYPE.o for 
      category Type 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PATMAB.o for 
      category PatternMatchable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FRETRCT.o for
      category FullyRetractableTo 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/GROUP.o for 
      category Group 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PDRING.o for 
      category PartialDifferentialRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FLINEXP.o for
      category FullyLinearlyExplicitRingOver 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/LINEXP.o for 
      category LinearlyExplicitRingOver 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CHARZ.o for 
      category CharacteristicZero 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CHARNZ.o for 
      category CharacteristicNonZero 
   processing macro definition RN ==> Fraction Integer 
   processing macro definition UPXS ==> UnivariatePuiseuxSeries(FE,var,cen) 
   processing macro definition EXPUPXS ==> 
ExponentialOfUnivariatePuiseuxSeries(FE,var,cen) 
   processing macro definition UPXSSING ==> 
UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen) 
   processing macro definition OFE ==> OrderedCompletion FE 
   processing macro definition Result ==> Union(OrderedCompletion FE,failed) 
   processing macro definition PxRec ==> Record(k: Fraction Integer,c: FE) 
   processing macro definition Term ==> Record(%coef: 
UnivariatePuiseuxSeries(FE,var,cen),%expon: 
ExponentialOfUnivariatePuiseuxSeries(FE,var,cen),%expTerms: List Record(k: 
Fraction Integer,c: FE)) 
   processing macro definition TypedTerm ==> Record(%term: Record(%coef: 
UnivariatePuiseuxSeries(FE,var,cen),%expon: 
ExponentialOfUnivariatePuiseuxSeries(FE,var,cen),%expTerms: List Record(k: 
Fraction Integer,c: FE)),%type: String) 
   processing macro definition SIGNEF ==> ElementaryFunctionSign(R,FE) 
   processing macro definition Exports ==> -- the constructor category 
   processing macro definition Implementation ==> -- the constructor capsule 
------------------------------------------------------------------------
   initializing NRLIB EXPEXPAN for ExponentialExpansion 
   compiling into NRLIB EXPEXPAN 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/QFCAT.o for 
      category QuotientFieldCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FEVALAB.o for
      category FullyEvalableOver 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ELTAB.o for 
      category Eltable 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/DIFEXT.o for 
      category DifferentialExtension 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/DIFRING.o for
      category DifferentialRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/STEP.o for 
      category StepThrough 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OINTDOM.o for
      category OrderedIntegralDomain 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ORDRING.o for
      category OrderedRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OAGROUP.o for
      category OrderedAbelianGroup 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OCAMON.o for 
      category OrderedCancellationAbelianMonoid 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OAMON.o for 
      category OrderedAbelianMonoid 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OASGP.o for 
      category OrderedAbelianSemiGroup 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/REAL.o for 
      category RealConstant 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PFECAT.o for 
      category PolynomialFactorizationExplicit 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FAMR.o for 
      category FiniteAbelianMonoidRing 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/AMR.o for 
      category AbelianMonoidRing 
****** Domain: R already in scope
****** Domain: R already in scope
****** Domain: R already in scope
****** Domain: FE already in scope
****** Domain: FE already in scope
****** Domain: FE already in scope
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PI.o for 
      domain PositiveInteger 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/NNI.o for 
      domain NonNegativeInteger 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/INT.o for 
      domain Integer 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/INS.o for 
      category IntegerNumberSystem 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CFCAT.o for 
      category CombinatorialFunctionCategory 
   compiling local coeff : Record(%coef: 
UnivariatePuiseuxSeries(FE,var,cen),%expon: 
ExponentialOfUnivariatePuiseuxSeries(FE,var,cen),%expTerms: List Record(k: 
Fraction Integer,c: FE)) -> UnivariatePuiseuxSeries(FE,var,cen)
      EXPEXPAN;coeff is replaced by QVELTterm0 
Time: 15.56 SEC.

   compiling local exponent : Record(%coef: 
UnivariatePuiseuxSeries(FE,var,cen),%expon: 
ExponentialOfUnivariatePuiseuxSeries(FE,var,cen),%expTerms: List Record(k: 
Fraction Integer,c: FE)) -> ExponentialOfUnivariatePuiseuxSeries(FE,var,cen)
      EXPEXPAN;exponent is replaced by QVELTterm1 
Time: 2.56 SEC.

   compiling local upxssingIfCan : $ -> 
Union(UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen),failed)
Time: 7.39 SEC.

   compiling exported retractIfCan : $ -> 
Union(UnivariatePuiseuxSeries(FE,var,cen),failed)
Time: 11.20 SEC.

   compiling exported / : 
(UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen),UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen))
 -> $
Time: 6.69 SEC.

   compiling exported / : ($,$) -> $
Time: 24.62 SEC.

   compiling exported coerce : UnivariatePuiseuxSeries(FE,var,cen) -> $
Time: 9.77 SEC.

   compiling local seriesQuotientLimit : 
(UnivariatePuiseuxSeries(FE,var,cen),UnivariatePuiseuxSeries(FE,var,cen)) -> 
Union(OrderedCompletion FE,failed)
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OM.o for 
      category OpenMath 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/LSAGG.o for 
      category ListAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/STAGG.o for 
      category StreamAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/URAGG.o for 
      category UnaryRecursiveAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/RCAGG.o for 
      category RecursiveAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/HOAGG.o for 
      category HomogeneousAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/AGG.o for 
      category Aggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/LNAGG.o for 
      category LinearAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/IXAGG.o for 
      category IndexedAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ELTAGG.o for 
      category EltableAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CLAGG.o for 
      category Collection 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/FLAGG.o for 
      category FiniteLinearAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ELAGG.o for 
      category ExtensibleLinearAggregate 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/LIST.o for 
      domain List 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ILIST.o for 
      domain IndexedList 
Time: 16.20 SEC.

   compiling local seriesQuotientInfinity : 
(UnivariatePuiseuxSeries(FE,var,cen),UnivariatePuiseuxSeries(FE,var,cen)) -> 
Union(OrderedCompletion FE,failed)
Time: 13.52 SEC.

   compiling exported limitPlus : $ -> Union(OrderedCompletion FE,failed)
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/STRING.o for 
      domain String 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/CHAR.o for 
      domain Character 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/SINT.o for 
      domain SingleInteger 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/OUTFORM.o for
      domain OutputForm 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PRIMARR.o for
      domain PrimitiveArray 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/A1AGG-.o for 
      domain OneDimensionalArrayAggregate& 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/ISTRING.o for
      domain IndexedString 
Time: 34.30 SEC.

   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/UPXSCCA.o for
      category UnivariatePuiseuxSeriesConstructorCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/UPXSCAT.o for
      category UnivariatePuiseuxSeriesCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/UPSCAT.o for 
      category UnivariatePowerSeriesCategory 
   Loading /build/buildd/axiom-0.0.0cvs/mnt/linux/algebra/PSCAT.o for 
      category PowerSeriesCategory 
****** Domain: $ already in scope
augmenting $: (CharacteristicNonZero)
augmenting (UnivariatePuiseuxSeriesWithExponentialSingularity R FE var cen): 
(PolynomialFactorizationExplicit)
make[4]: *** wait: No child processes.  Stop.
make[4]: *** Waiting for unfinished jobs....
make[4]: *** wait: No child processes.  Stop.
make[3]: *** wait: No child processes.  Stop.
make[3]: *** Waiting for unfinished jobs....
make[3]: *** wait: No child processes.  Stop.
make: *** wait: No child processes.  Stop.
make: *** Waiting for unfinished jobs....
make: *** wait: No child processes.  Stop.
make[2]: *** [srcdir] Terminated
make[1]: *** [all] Terminated
Build killed with signal 15 after 150 minutes of inactivity
******************************************************************************


Tim Daly  <address@hidden> writes:

> Bill,
> 
> The autoload files fall into 3 categories: compiler code which is only
> needed for developers, hypertex code which is only needed for documenation,
> and NAG library code, which is unused at the moment.
> 
> The only reason you see this code loading a lot is that we are using
> most of these facilities during the build. In actual use the code
> rarely gets loaded.
> 
> In fact, though, the whole loading issue is due to history. It used to
> be the case that Axiom needed to run in under a meg of memory so autoloading
> was vital. It still is an issue because I'm trying to get it to run on a
> Zaurus. But, in general, there is no reason why we couldn't load all of
> the code AND the algebra into a single image and run it without the whole
> algebra subdirectory and the databases (databases queries are cached after 
> the first read).
> 
> Tim
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-developer
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah