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:
-------
[EMAIL PROTECTED] ~/wh-test/src/algebra
$ export AXIOM=C:/msys/1.0/home/Administrator/wh-test/target/i686-pc-mingw32
[EMAIL PROTECTED] ~/wh-test/src/algebra
$ ls $AXIOM
algebra autoload bin doc lib share src timestamp
[EMAIL PROTECTED] ~/wh-test/src/algebra
$ export DAASE=C:/msys/1.0/home/Administrator/wh-sandbox/src/share
[EMAIL PROTECTED] ~/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.
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
