[Top][All Lists]
[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
- Re: [Gcl-devel] 2.6.2....., Mike Thomas, 2004/06/05
- RE: [Gcl-devel] 2.6.2....., Mike Thomas, 2004/06/07
- Re: [Gcl-devel] 2.6.2....., Camm Maguire, 2004/06/08
- Re: [Gcl-devel] 2.6.2....., Matt Kaufmann, 2004/06/08
- RE: [Gcl-devel] 2.6.2....., Mike Thomas, 2004/06/08
- RE: [Gcl-devel] 2.6.2....., Mike Thomas, 2004/06/08
- Re: [Gcl-devel] 2.6.2....., Matt Kaufmann, 2004/06/08