gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: 2.6.2


From: Magnus Henoch
Subject: [Gcl-devel] Re: 2.6.2
Date: Sat, 29 May 2004 10:43:14 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Camm Maguire <address@hidden> writes:

> OpenBSD : Magnus Henoch
For the record, OpenBSD/i386 3.4, running on a Pentium III of 700 MHz
with 256 MB of RAM.

OpenBSD 3.5 was released on May 1st.  I haven't had time to upgrade,
but I have no reason to believe results would be different.

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

statsysbfd + cltl1 builds.  So does statsysbfd + ansi.  Neither dlopen
nor custreloc build.

Where is the option for enabling/disabling SGC?

gcc is 2.95.3 with OpenBSD patches, as shipped with the OS.

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

304 out of 10697 total tests failed.

> 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

Using (test-random-integer-forms 100 4 100000), I get "internal simple
stream errors".  See output at
http://w1.312.comhem.se/~u31227643/gcl-random-errors.txt.gz

> 5) compile maxima 5.9.0 using the cltl1 build (preferably) and report
>    the results of 'time make check'

[...]
Running test suite with gcl...

*** Summary results for tests recorded in
*** log file tests-gcl.log:
Error summary:
Error(s) found in rtest15.mac: (4)

Expected failures (known bugs in this version of Maxima):
rtest15.mac: (4)

Timing:
real time       :     11.000 secs
run-gbc time    :      6.110 secs
child run time  :      0.100 secs
gbc time        :      1.200 secs
*** end of summary for tests-gcl.log
[...]
real    0m14.104s
user    0m7.664s
sys     0m1.297s

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

No unexpected errors found.
real time       :     17.000 secs
run-gbc time    :      7.280 secs
child run time  :      0.970 secs
gbc time        :      1.710 secs
(%o4)                                FALSE
[...]
real    0m19.577s
user    0m10.180s
sys     0m1.633s

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

real    326m44.830s
user    311m18.311s
sys     7m27.092s

> 8) retrieve axiom cvs, copy or link your build tree to lsp/gcl-2.6.2a;
>    touch lsp/gcldir; run AXIOM=$(pwd)/mnt/foo make; run 'find int
>    -name "*.lsp" -exec touch {} \;'; run 'find int -name "*.lisp"
>    -exec touch {} \;'; run AXIOM=$(pwd)/mnt/foo make; rm
>    int/input/*.output; run and report 'AXIOM=$(pwd)/mnt/foo time make'

In Makefile.pamphlet, I had to change /usr/include/X11 to
/usr/include/X11R6.  The noweb makefiles refer to make instead of
${MAKE}.  Still, there was something missing.  I will look into this
later.

> 9) (very optional) retrieve nqthm-1992 and pc-nqthm-1992, build, and
>    report the results of 'time make giant-tests'

nqthm-1992:
[...]
Trying piton.events.start address -T 0xb8f6000 start address -T 0xbab8000 start 
address -T 0xbb13000 start address -T 0xbadb000 start address -T 0xb955fe0 
Error in PROVE-FILE [or a callee]: The storage for CONS is exhausted.
Currently, 46446 pages are allocated.
Use ALLOCATE to expand the space.
[...]
Trying train.events.
Error in SIMPLIFY-SENT [or a callee]: The storage for STREAM is exhausted.
Currently, 447 pages are allocated.
Use ALLOCATE to expand the space.
[...]
real    38m53.772s
user    36m36.195s
sys     1m10.484s

pc-nqthm-1992:
[...]
Trying me.events.
Successfully finished me.events.
Trying min.events.
Error in PROVE-FILE [or a callee]: Value stack overflow.

Fast links are on: do (use-fast-links nil) for debugging
Broken at APPLY.  Type :H for Help.
dbl:>>
NIL
dbl:>>
real    40m55.176s
user    38m41.250s
sys     1m23.711s

The hard limit on data segment is 256MB, which is the default
setting.  I'll retry with unlimited soon.

> Please collect any special library or compiler tool versions you need,
> OS version, etc. and report these as footnotes, or parenthetical
> remarks.

GNU make is required; if you installed the ports tree, "cd
/usr/ports/devel/gmake; make install" and invoke it as "gmake".
Either GNU sed or OpenBSD 3.5 sed is required - the sed from OpenBSD
3.4 doesn't work.

Regards,
Magnus





reply via email to

[Prev in Thread] Current Thread [Next in Thread]