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

[Camm Maguire]

Greetings!

"Mike Thomas" <address@hidden> writes:

> 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.
> 

Great!  On the standard tests, we no longer have any issues with
compiler version and/or C optimization level, provided
-fomit-frame-pointer is removed, right?

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

Just a note here -- 2.6.2c2 should not only run without crashing, but
should report no errors.

> 
> 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.
> 

This is the expected behavior, to my knowledge.

> 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.
> 

:-(.  OK, this is (so far the only, to my knowledge) test 2.6.2 will
fail on windows.  We'll get to this in 2.7.x.


> 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
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

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