gcl-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Gcl-devel] 2.6.2.....

From: Mike Thomas
Subject: RE: [Gcl-devel] 2.6.2.....
Date: Mon, 7 Jun 2004 18:04:24 +1000 
Hi everyone.

On the weekend I wrote:

| I'm downloading the new Version_2_6_2c2 tag now and will continue
| testing when I can, over the next few days.


THE USUAL TESTS

With an ANSI GCL from that download I built and tested CVS Maxima on a PIII
866 Windows 2000 Professional machine using gcc 3.3.1 and binutils 2.14.90 -
no problems.

With a moderately loaded 2.5 GHZ PIV, Windows XP Professional, 512 Mb RAM,
system I made ANSI and CLtL1 tests and builds of Maxima (20040424 (ANSI),
5.9.0 (CLtL1) source bundles) and ACL 2.8.  I also ran the ANSI tests.  All
results are below.

The weekend 2.6.2c1 random tester run cranked out more than half a million
iterations without crashing.


THE UNUSUAL TESTS

For the hell of it I built ACL 2.8 with ANSI GCL but got some dodgy results
with respect to gcd-mod.cert reported below.  I'll leave that to the
experts - it is fine with CLtL1 GCL as specified by the manufacturers.

I copied the 2.6.2 source into a modified Axiom source tree but the build
dies with the error shown at the very bottom of this email.  This I will
also leave to the experts.

Cheers

Mike Thomas.

======================================
CLtL1 build GCC 3.3.1 binutils 2.14.90
======================================
rm */*.o */*.exe */*.a;  (previously built ANSI version)
time ./configure --enable-japi
                 --prefix=c:/lang/gcl262c2-cltl1-331 >configure.log 2>&1;
time make > make.log 2>&1;
time make install >make_install.log 2>&1

real    4m15.454s
user    3m13.575s
sys     1m57.507s

real    6m29.531s
user    0m51.516s
sys     0m48.905s

real    0m48.406s
user    0m4.500s
sys     0m26.106s


================================================
Maxima 5.9.0 source bundle "time make check":
Expected failures (known bugs in this version of Maxima):
rtest15.mac: (4)

....
Timing:
real time       :      5.500 secs
run-gbc time    :      4.450 secs
child run time  :      0.000 secs
gbc time        :      1.050 secs
*** end of summary for tests-gcl.log
....

real    0m17.016s
user    0m2.329s
sys     0m1.972s

==================================================
ACL 2.8 (timings not accurate as the machine worked hard on other stuff
here)

time make mini-proveall
Mini-proveall passed.

real    0m1.235s
user    0m0.228s
sys     0m0.123s

time make certify-books-short:
...
Short test passed.
make[1]: Leaving directory `/c/lang/source/gcl/acl2-sources-2.8/books'

real    6m31.938s
user    0m30.579s
sys     0m25.813s

Left the long version of book certification running overnight.



=====================================
ANSI build GCC 3.3.1 binutils 2.14.90
=====================================
time ./configure --enable-ansi
                 --enable-japi
                 --prefix=c:/lang/gcl262c2-ansi-331 >configure.log 2>&1;
time make > make.log 2>&1;
time make install >make_install.log 2>&1

real    3m51.281s
user    3m21.742s
sys     2m9.305s

real    23m0.672s
user    15m27.104s
sys     10m49.477s

real    0m48.250s
user    0m4.409s
sys     0m25.396s

================================================
Maxima 20040424 source bundle "time make check":

...
No unexpected errors found.
real time       :      6.350 secs
run-gbc time    :      5.800 secs
child run time  :      0.000 secs
gbc time        :      0.550 secs
....

real    0m10.281s
user    0m2.543s
sys     0m1.953s

====================================================
time make test-unixport >make_test_unixport.log 2>&1

real    1m23.204s
user    0m0.121s
sys     0m0.215s

303 out of 10697 total tests failed: SPECIAL-OPERATOR-P.1,
SPECIAL-OPERATOR-P.2, CL-FUNCTION-SYMBOLS.1,
   CL-MACRO-SYMBOLS.1, CL-VARIABLE-SYMBOLS.1,
   CL-TYPES-THAT-ARE-CLASSES.1, CL-TYPES-THAT-ARE-CLASSES.2,
   CL-TYPES-THAT-ARE-CLASSES.3, EVAL-AND-COMPILE-MACROS, COMPILE.2,
   COMPILE.5, COMPILE.6, COMPILE.7, COMPILE.8, CONSTANTP.6,
   CONSTANTP.8, CONSTANTP.ORDER.2, DCF-FUNS, DCF-MACROS, SETF-VALUES.5,
   PSETQ.7, PSETF.7, THROW-ERROR, FBOUNDP.6, FBOUNDP.7,
   FDEFINITION.ERROR.1, FDEFINITION.ERROR.2, FDEFINITION.ERROR.4,
   FDEFINITION.ERROR.6, FDEFINITION.1, FDEFINITION.2, FDEFINITION.3,
   FDEFINITION.4, FDEFINITION.5, FDEFINITION.ORDER.1, FLET.17, FLET.27,
   FLET.30, FLET.51, FMAKUNBOUND.4, FUNCALL.ERROR.3,
   FUNCTION-LAMBDA-EXPRESSION.1, FUNCTION-LAMBDA-EXPRESSION.2,
   FUNCTION-LAMBDA-EXPRESSION.ORDER.1,
   FUNCTION-LAMBDA-EXPRESSION.ERROR.1,
   FUNCTION-LAMBDA-EXPRESSION.ERROR.2, FUNCTION.2, FUNCTION.6,
   FUNCTION.7, FUNCTION.10, FUNCTIONP.2, FUNCTIONP.6, FUNCTIONP.7,
   FUNCTIONP.10, GET-SETF-EXPANSION.ERROR.1,
   GET-SETF-EXPANSION.ERROR.2, LABELS.17, LABELS.26, MACROLET.5,
   MACROLET.13, MACROLET.14, MULTIPLE-VALUE-SETQ.5,
   MULTIPLE-VALUE-SETQ.8, LOOP.6.19, LOOP.6.20, LOOP.6.37, LOOP.6.38,
   LOOP.7.15, LOOP.7.16, LOOP.7.17, LOOP.7.18, LOOP.7.19, LOOP.7.20,
   LOOP.7.21, LOOP.7.22, LOOP.7.23, LOOP.8.19, LOOP.8.20, LOOP.8.21,
   LOOP.8.22, LOOP.8.ERROR.2, LOOP.9.10, LOOP.9.11, LOOP.9.27,
   LOOP.9.28, LOOP.9.37, LOOP.9.38, LOOP.10.9, LOOP.10.10, LOOP.10.37,
   LOOP.10.38, LOOP.10.57, LOOP.10.58, LOOP.10.85, LOOP.10.86,
   LOOP.11.9, LOOP.14.29, CONDITION.2, CELL-ERROR-NAME.1,
   CELL-ERROR-NAME.2, CELL-ERROR-NAME.3, CELL-ERROR-NAME.4,
   CELL-ERROR-NAME.5, CELL-ERROR-NAME.6, CELL-ERROR-NAME.ERROR.1,
   CELL-ERROR-NAME.ERROR.2, ERROR.1, ERROR.2, ERROR.3, ERROR.4,
   ERROR.5, ERROR.8, CERROR.1, CERROR.2, CERROR.3, CERROR.4, CERROR.5,
   CHECK-TYPE.2, CHECK-TYPE.3, CHECK-TYPE.5, CHECK-TYPE.6,
   CHECK-TYPE.7, WARN.8, WARN.10, WARN.12, WARN.13, WARN.16, WARN.17,
   WARN.18, HANDLER-BIND.9, HANDLER-BIND.11,
   MAKE-LIST.ALLOW-OTHER-KEYS.4, ADJOIN.ALLOW-OTHER-KEYS.5,
   MEMBER.ALLOW-OTHER-KEYS.5, SETF-GETF.ORDER.2, ARRAY-AS-CLASS.7,
   ARRAY-AS-CLASS.8, MAKE-ARRAY.DISPLACED.9, MAKE-ARRAY.DISPLACED.10,
   ARRAY-DISPLACEMENT.11, UPGRADED-ARRAY-ELEMENT-TYPE.2,
   UPGRADED-ARRAY-ELEMENT-TYPE.NIL.1, VECTOR.3, VECTOR.6, VECTOR.8,
   HASH-TABLE.1, HASH-TABLE.3, HASH-TABLE.5, IN-PACKAGE.2,
   PACKAGE-ERROR.3, SUBSEQ.ORDER.3, SUBSEQ.ORDER.4,
   CONCATENATE.ERROR.1, CONCATENATE.ERROR.2, STRUCT-TEST-03/16,
   STRUCT-TEST-04/16, STRUCT-TEST-05/16, STRUCT-TEST-06/16,
   STRUCT-TEST-07/16, STRUCT-TEST-08/16, STRUCT-TEST-09/16,
   STRUCT-TEST-10/16, STRUCT-TEST-11/16, STRUCT-TEST-12/16,
   STRUCT-TEST-13/16, STRUCT-TEST-14/16, STRUCT-TEST-15/16,
   STRUCT-TEST-16/16, STRUCT-TEST-17/16, STRUCT-TEST-18/16,
   STRUCT-TEST-19/16, STRUCT-TEST-20/16, STRUCT-TEST-21/16,
   STRUCT-TEST-22/16, STRUCT-TEST-23/16, STRUCT-TEST-24/16,
   STRUCT-TEST-25/16, STRUCT-TEST-26/16, STRUCT-TEST-27/12,
   STRUCT-TEST-27/16, STRUCT-TEST-28/12, STRUCT-TEST-28/16,
   STRUCT-TEST-29/12, STRUCT-TEST-29/16, STRUCT-TEST-30/16,
   STRUCT-TEST-31/13, STRUCT-TEST-31/14, STRUCT-TEST-31/16,
   STRUCT-TEST-31/17, STRUCT-TEST-31/15A, STRUCT-TEST-32/16,
   STRUCT-TEST-33/16, STRUCT-TEST-34/16, STRUCT-TEST-35/16,
   STRUCT-TEST-36/16, STRUCT-TEST-41/3, STRUCT-TEST-43/3,
   STRUCT-TEST-49/1, STRUCT-TEST-50/1, STRUCT-TEST-51/1,
   STRUCT-TEST-57/16, STRUCT-TEST-58/16, STRUCT-TEST-59/16,
   STRUCT-TEST-60/16, STRUCTURE-60-1, STRUCT-TEST-63/13,
   STRUCT-TEST-63/14, STRUCT-TEST-63/16, STRUCT-TEST-63/17,
   STRUCT-TEST-63/15A, STRUCT-TEST-64/1, STRUCT-TEST-64/2,
   STRUCT-TEST-64/ERROR.2, STRUCT-TEST-64/5, STRUCT-TEST-64/ERROR.4,
   STRUCT-TEST-64/6, STRUCT-TEST-64/7, STRUCT-TEST-64/ERROR.6,
   STRUCT-TEST-64/9, STRUCT-TEST-64/13, STRUCT-TEST-64/14,
   STRUCT-TEST-64/15, STRUCT-TEST-64/16, STRUCT-TEST-64/17,
   STRUCT-TEST-64/15A, STRUCT-TEST-64/20, STRUCTURE-BOA-TEST-08/1,
   STRUCTURE-BOA-TEST-09/1, STRUCTURE-BOA-TEST-09/2,
   STRUCTURE-BOA-TEST-09/3, STRUCTURE-BOA-TEST-09/4,
   STRUCTURE-BOA-TEST-09/5, STRUCTURE-BOA-TEST-09/6,
   STRUCTURE-BOA-TEST-09/7, STRUCTURE-BOA-TEST-13/1,
   STRUCTURE-BOA-TEST-13/2, STRUCTURE-BOA-TEST-13/3,
   STRUCTURE-BOA-TEST-13/4, STRUCTURE-BOA-TEST-13/5,
   STRUCTURE-BOA-TEST-13/6, STRUCTURE-BOA-TEST-13/7,
   STRUCTURE-BOA-TEST-13/8, STRUCTURE-BOA-TEST-14/1,
   STRUCTURE-BOA-TEST-14/2, STRUCTURE-BOA-TEST-14/3,
   STRUCTURE-BOA-TEST-14/4, STRUCTURE-BOA-TEST-14/5,
   STRUCTURE-BOA-TEST-15/1, STRUCTURE-BOA-TEST-15/2,
   STRUCTURE-BOA-TEST-15/3, STRUCTURE-BOA-TEST-15/4,
   STRUCTURE-BOA-TEST-15/5, STRUCTURE-BOA-TEST-15/6,
   STRUCTURE-BOA-TEST-15/7, STRUCTURE-BOA-TEST-15/8, TYPES.3, TYPES.6,
   TYPES.8, TYPES.9A, ALL-CLASSES-ARE-TYPE-EQUIVALENT-TO-THEIR-NAMES,
   ALL-STANDARD-CLASSES-ARE-SUBTYPES-OF-STANDARD-OBJECT,
   ALL-EXPORTED-CL-CLASS-NAMES-ARE-VALID,
   ALL-STANDARD-GENERIC-FUNCTIONS-ARE-INSTANCES-OF-THAT-CLASS,
   TYPE-ERROR-DATUM.ERROR.1, TYPE-ERROR-DATUM.ERROR.2,
   TYPE-ERROR-EXPECTED-TYPE.ERROR.1, TYPE-ERROR-EXPECTED-TYPE.ERROR.2,
   TAC-3.1, TAC-3.2, TAC-3.3, TAC-3.4, TAC-3.5, TAC-3.6, TAC-3.7,
   TAC-3.8, TAC-3.9, TAC-3.10, TAC-3.11, TAC-3.12, TAC-3.13, TAC-3.14,
   TAC-3.15, UNIVERSE-ELEMENTS-IN-AT-MOST-ONE-DISJOINT-TYPE, COERCE.11,
   COERCE.21, COERCE.ERROR.4, COERCE.ERROR.9, SUBTYPEP.BIGNUM.INTEGER,
   SUBTYPEP.INTEGER.23, SUBTYPEP.INTEGER.24, SUBTYPEP.RATIONAL.12,
   SUBTYPEP.CONS.2, SUBTYPEP.CONS.12, SUBTYPEP.MEMBER.17,
   SUBTYPEP.MEMBER.18, SUBTYPEP.EQL.1, SUBTYPEP.EQL.2,
   SUBTYPEP.ARRAY.1, SUBTYPEP.ARRAY.3, SUBTYPEP.ARRAY.4,
   SUBTYPEP.ARRAY.5, DIGIT-CHAR.ERROR.2, CODE-CHAR.ERROR.2.
Finished loading gclload.lsp

==================================================
ACL 2.8

Passes :mini-proveall test, but book certification gives errors about
"mod-gcd.cert" being missing.  "mod-gcd.out" has this to say:

DIVISOR-OF-PRODUCT-DIVIDES-FACTOR
dbl:ACL2>>
Sorry, execution of top-level forms is disabled inside breaks.
Execute :enable-eval T if you want such evaluation enabled.
NIL
dbl:ACL2>>
Sorry, execution of top-level forms is disabled inside breaks.
Execute :enable-eval T if you want such evaluation enabled.
NIL
dbl:ACL2>>

==========================================================
AXIOM
==========================================================

BOOT>0 making c:/cvs/head/axiom/int/algebra/AHYP.spad from
c:/cvs/head/axiom/src/algebra/trigcat.spad.pamphlet
0 making c:/cvs/head/axiom/int/algebra/AHYP.NRLIB from
c:/cvs/head/axiom/int/algebra/AHYP.spad
        0x0051E120 BSS start in memory.         0x00db0000 BSS offset in saved 
executable.
0x00114b80 BSS size in bytes.   0x00114b80 bytes read.  0x10100000 Heap start
in memory.      0x00610000 Heap offset in executable.   0x007a0000 Heap size in
bytes.  0x10100000 file base.                         AXIOM Computer Algebra
System
                 Version of Monday June 7, 2004 at 16:51:22
----------------------------------------------------------------------------
-
   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:/cvs/head/axiom/src/share/algebra/compress.daase..
Using local database c:/cvs/head/axiom/src/share/algebra/interp.daase..
   Using local database
c:/cvs/head/axiom/src/share/algebra/operation.daase..
   Using local database c:/cvs/head/axiom/src/share/algebra/category.daase..
   Using local database c:/cvs/head/axiom/src/share/algebra/browse.daase..
(1) ->    Loading c:/cvs/head/axiom/mnt/windows/autoload/apply.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/c-doc.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/c-util.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/profile.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/category.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/compiler.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/define.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/functor.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/info.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/iterator.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/modemap.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/nruncomp.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/package.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/htcheck.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/xruncomp.
   Compiling AXIOM source code from file AHYP.spad using old system
      compiler.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/parsing.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/bootlex.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/def.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/fnewmeta.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/metalex.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/metameta.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/parse.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/postpar.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/postprop.
   Loading c:/cvs/head/axiom/mnt/windows/autoload/preparse.
   AHYP abbreviates category ArcHyperbolicFunctionCategory
------------------------------------------------------------------------
   initializing NRLIB AHYP for ArcHyperbolicFunctionCategory

Unrecoverable error: Segmentation violation..
 This application has requested the Runtime to terminate it in an unusual
way.
Please contact the application's support team for more information. make[3]:
*** [c:/cvs/head/axiom/int/algebra/AHYP.NRLIB] Error 3
make[3]: Leaving directory `/c/cvs/head/axiom/src/algebra'
make[2]: *** [algebradir] Error 2
make[2]: Leaving directory `/c/cvs/head/axiom/src'
make[1]: *** [srcdir] Error 2
make[1]: Leaving directory `/c/cvs/head/axiom'
make: *** [all] Error 2
reply via email to
[Prev in Thread] Current Thread [Next in Thread]