RE: [Gcl-devel] RE: 2.6.2

[Billinghurst, David (CALCRTS)]

Some results for Windows XP for Version_2_6_2c2

> 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

Now runs and I get 303 failures - Version_2_6_2c1 wouldn't run


>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

This is running.  So far 500 interations without problem.

Will try maxima and ACL2 tonight.