[Top][All Lists]
[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
- RE: [Gcl-devel] Gcc 3.4 and GCL, (continued)
- Re: [Gcl-devel] Gcc 3.4 and GCL, Vadim V. Zhytnikov, 2004/05/25
- [Gcl-devel] 2.6.2, Camm Maguire, 2004/05/26
- RE: [Gcl-devel] 2.6.2, Mike Thomas, 2004/05/29
- Re: [Gcl-devel] 2.6.2, Camm Maguire, 2004/05/27
- RE: [Gcl-devel] 2.6.2, Mike Thomas, 2004/05/28
- Re: [Gcl-devel] 2.6.2, Camm Maguire, 2004/05/29
- [Gcl-devel] Re: 2.6.2,
Magnus Henoch <=
Re: [Gcl-devel] Gcc 3.4 and GCL, Camm Maguire, 2004/05/11
Re: [Gcl-devel] Gcc 3.4 and GCL, Camm Maguire, 2004/05/11