[Gcl-devel] RE: 2.6.2

[Billinghurst, David (CALCRTS)]

Some results for Windows XP

> From: Camm Maguire
> 
> OK, I've made a branch tag Version_2_6_2pre, and a non-branch
> (i.e. read-only) tag Version_2_6_2c1.  
>
>1) checkout Version_2_6_2c1
>2) report the results of self building under the permutations of the
>   major configuration and building options:
>        a) linking:
>                1) dlopen
>                2) statsysbfd or locbfd (indicate which)
>                3) custreloc
>        b) flavor: ansi or cltl1
>        c) gbc: SGC or not
>        d) gcc versions: (if there are several popular but differing
>                                versions in wide use)

Hardware: 850 MHz Pentium3 with 512 MB RAM
OS:       Windows XP SP1

$ msysinfo
msysinfo-1.3: Send this to the MSYS support list:

MSYS 1.0.10(0.46/3/2) 2003-10-11 10:14 i686 unknown; targ=MINGW32
GNU bash, version 2.04.0(1)-release (i686-pc-msys); ENV=.profile
GNU Make version 3.79.1,Built for i686-pc-msys; MAKE_MODE=unix
gcc.exe (GCC) 3.3.1 (mingw special 20030804-1); targ=MINGW32
GNU ld version 2.15.90 20040222
   788808 Mon Feb 02 09:26:19 2004 /bin/msys-1.0.dll
   135680 Mon Feb 02 09:26:16 2004 /bin/make.exe
    84992 Fri Aug 08 08:28:59 2003 /mingw/bin/gcc.exe
   610304 Mon Feb 23 14:48:22 2004 /mingw/bin/ld.exe

./configure --enable-ansi
make

> 3) report the results of the ansi test suite on the build using the
>   configuration options you recommend

Fails with:

>(load "gclload.lsp")

Loading gclload.lsp
Loading gclload1.lsp
Loading compile-and-load.lsp
Finished loading compile-and-load.lsp
Loading rt-package.lsp
Finished loading rt-package.lsp
Loading rt.o
start address -T 10af7000 Finished loading rt.o
Loading cl-test-package.lsp
Finished loading cl-test-package.lsp
Loading universe.lsp

Unrecoverable error: Segmentation violation..


>4) in the ansi-tests directory of the CVS head branch, run the random
>   tester on your recommended build for as long as practicable, and report
>   the results, including the parameters specifying the size of the
>   generated test forms
> 5) compile maxima 5.9.0 using the cltl1 build (preferably) and report
>    the results of 'time make check'

Not done

> 6) compile maxima cvs with the ansi build and report the results of
>   'time make check'

Clean build and testsuite

No unexpected errors found.
real time       :     12.083 secs
run-gbc time    :     10.367 secs
child run time  :      0.000 secs
gbc time        :      1.717 secs

> 7) compile acl2 2.8 and report the results of 'time make
>   certify-books-fresh'

make ACL2=/usr/local/src/acl2-sources/saved_acl2.exe certify-books
[...]
real    268m41.952s
user    3m5.715s
sys     5m35.290s