[Axiom-developer] Re: problem compiling wh-sandbox revision 571 on Windows

[Bill Page]

On 6/18/07, Waldek Hebisch wrote:
> Bill Page wrote:
> > Well here we are nearly at the end of the algebra build but a problem
> > occurs while re-building the databases:
> >
> > ...
> >
> >    Cumulative Statistics for Constructor GuessFinite
> >       Time: 0.09 seconds
> >
> >    finalizing NRLIB GUESSF
> >    Processing GuessFinite for Browser database:
> > --------constructor---------
> > ------------------------------------------------------------------------
> >    GuessFinite is now explicitly exposed in frame initial
> >    GuessFinite will be automatically loaded when needed from
> >       /msys/1.0/home/Administrator/wh-test/src/algebra/GUESSF.NRLIB/code
> >
> > (1) -> touch guess-pkg
> > /home/Administrator/wh-test/src/algebra/../.././build/scripts/document
> > --tangle='TEST INTHEORY' --output=../input/INTHEORY.input
> > ../../../wh-sandbox/src/algebra/numtheor.spad.pamphlet
> > /home/Administrator/wh-test/src/algebra/../.././build/scripts/document
> > --tangle='TEST VIEW2D' --output=../input/VIEW2D.input
> > ../../../wh-sandbox/src/algebra/view2D.spad.pamphlet
> > /home/Administrator/wh-test/src/algebra/../.././build/scripts/document
> > --tangle='TEST FR' --output=../input/TESTFR.input
> > ../../../wh-sandbox/src/algebra/fr.spad.pamphlet
> > rm -f stamp
> > echo timestamp > stamp
> > finished .
> > make[2]: Entering directory `/home/Administrator/wh-test/src/etc'
> > 4 rebuilding databases...
> > GCL (GNU Common Lisp)  2.6.8 CLtL1    Apr 16 2007 00:20:36
> > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> > Binary License:  GPL due to GPL'ed components: (UNEXEC)
> > Modifications of this banner must retain notice of a compatible license
> > Dedicated to the memory of W. Schelter
> >
> > Use (help) to get some basic information on how to use GCL.
> > Temporary directory for compiler files set to
> > C:/msys/1.0/home/Administrator/wh-test/build/i686-pc-mingw32/
> >                         AXIOM Computer Algebra System
> >                  Version: Axiom wh-sandbox branch 2007-05-31
> >                            Timestamp: no timestamp
> > -----------------------------------------------------------------------------
> >    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
> > C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/compress.daase..
> >   Using local database
> > C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/interp.daase..
> >    Using local database
> > C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/operation.daase..
> >    Using local database
> > C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/category.daase..
> >    Using local database
> > C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/browse.daase..
> > (1) ->    Loading
> > C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/apply.
> >    Loading 
> C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/c-doc.
> >    Loading 
> C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/c-util.
> >
> > ...
> >
> >    Loading 
> C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-prof.
> >    Loading 
> C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-saturn.
> >
> > "building browse.daase"
> > "building operation.daase"
> > "building category.daase"
> >    >> System error:
> >    The function |SetCategory| is undefined.
> >
> > (1) -> /bin/install: cannot stat `../algebra/*.daase': No such file or 
> directory
> > make[2]: *** 
> [/home/Administrator/wh-test/target/i686-pc-mingw32/algebra/compress.daase]
> > Error 1
> > make[2]: Leaving directory `/home/Administrator/wh-test/src/etc'
> > make[1]: *** [all-asq] Error 2
> > make[1]: Leaving directory `/home/Administrator/wh-test/src'
> > make: *** [all-src] Error 2
> >
> > ------------
> >
> > But something goes wrong building 'compress.daase'. This error:
> >
> >      The function |SetCategory| is undefined.
> >
> > seems strange to appear at this late stage in the build process. It
> > looks like the failure occurred in 'make-databases'.
> >
> >  I did not notice any earlier failures in the build but I will check again.
> >
> > Can you think of anything that might cause this?
> >
>
> I belive that have met this error several times.  Typically, however
> I saw a crash.   Namely, during database build Axiom has to load
> all constructors (categories, domains and packages) from *.NRLIB
> directories.  If something goes wrong with paths or file searches
> Axiom finds no files to load -- the result is an essentially empty
> database.  But such database stil contains a few positions which
> reference SetCategory.  If SetCategory is missing Axiom can not
> dump the database...
>
> During normal build one sees a lot of messages of form:
>
>   IntegerMod will be automatically loaded when needed from
>       /var/tmp/hebisch/axp22/ax-build2/src/algebra/ZMOD.NRLIB/code
>
> and later:
>
>   Loading
>       /var/tmp/hebisch/axp22/ax-build2/src/algebra/A1AGG-.NRLIB/code
>       for domain OneDimensionalArrayAggregate&
>
> I would first try to build databases by hand: set AXIOM variable to
>
> C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32
>
> and DAASE to
>
> C:/msys/1.0/home/Administrator/wh-sandbox/src/share
>
> and at Axiom prompt type:
>
> )lisp (make-databases "" nil)

Here is the result of the test. It seems, as you say, that for some
reason 'make-databases' is not loading any of the *.NRLIB. But oddly,
I can load them manually by the ')lib' command and if I do, then the
error message shifts to the next *.NRLIB. For example:


-------

address@hidden ~/wh-test/src/algebra
$ export AXIOM=C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32

address@hidden ~/wh-test/src/algebra
$ ls $AXIOM
algebra  autoload  bin  doc  lib  share  src  timestamp

address@hidden ~/wh-test/src/algebra
$ export DAASE=C:/msys/1.0/home/Administrator/wh-sandbox/src/share

address@hidden ~/wh-test/src/algebra
$ ../../build/i686-pc-mingw32/bin/interpsys.exe
GCL (GNU Common Lisp)  2.6.8 CLtL1    Apr 16 2007 00:20:36
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to
C:/DOCUME~1/ADMINI~1.ASU/LOCALS~1/Temp/
                       AXIOM Computer Algebra System
                Version: Axiom wh-sandbox branch 2007-05-31
                          Timestamp: no timestamp
-----------------------------------------------------------------------------
  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
C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/compress.daase..
 Using local database
C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/interp.daase..
  Using local database
C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/operation.daase..
  Using local database
C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/category.daase..
  Using local database
C:/msys/1.0/home/Administrator/wh-sandbox/src/share/algebra/browse.daase..
(1) -> )lisp (make-databases "" nil)
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/apply.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/c-doc.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/c-util.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/profile.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/category.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/compiler.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/define.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/functor.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/info.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/iterator.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/modemap.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/nruncomp.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/package.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/htcheck.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/bc-matrix.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/bc-misc.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/bc-solve.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/bc-util.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/ht-util.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/htsetvar.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/ht-root.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-con.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-data.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/showimp.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-op1.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-op2.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-search.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-util.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/topics.
(1) ->

  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-prof.
  Loading 
C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32/autoload/br-saturn.

"building browse.daase"
"building operation.daase"
"building category.daase"
  >> System error:
  The function |SetCategory| is undefined.

(1) -> )sh SetCategory
SetCategory  is a category constructor
Abbreviation for SetCategory is SETCAT
This constructor is exposed in this frame.
Issue )edit NIL to see algebra source code for SETCAT

------------------------------- Operations --------------------------------
?=? : (%,%) -> Boolean                coerce : % -> OutputForm

(1) -> )lib SETCAT
  SetCategory is now explicitly exposed in frame initial
  SetCategory will be automatically loaded when needed from
     /msys/1.0/home/Administrator/wh-test/src/algebra/SETCAT.NRLIB/code

...

(1) -> )lisp (make-databases "" nil)
  Loading ...

"building browse.daase"
"building operation.daase"
"building category.daase"    Loading
     /msys/1.0/home/Administrator/wh-test/src/algebra/SETCAT.NRLIB/code
     for  SetCategory

  >> System error:
  The function |BasicType| is undefined.

(1) -> )lib BASTYPE
  BasicType is now explicitly exposed in frame initial
  BasicType will be automatically loaded when needed from
     /msys/1.0/home/Administrator/wh-test/src/algebra/BASTYPE.NRLIB/code
(1) -> )lisp (make-databases "" nil)

"building browse.daase"
"building operation.daase"
"building category.daase"    Loading
     /msys/1.0/home/Administrator/wh-test/src/algebra/BASTYPE.NRLIB/code
     for  BasicType

  >> System error:
  The function |CoercibleTo| is undefined.

etc.

---------------

So, it seems like some crucial initialization if missing that prevents
'make-databases' from finding and loading all the *.NRLIB. I have
looked at the Lisp code in 'daase.lisp.pamphlet' but how this is
supposed to work remains completely obscure to me. What changes when I
issue the ')lib' command that allows 'make-databases' to then find and
load the modules?

Thanks for you help.

Regards,
Bill Page.