[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Windows issues - reversion
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Windows issues - reversion |
Date: |
19 Sep 2003 11:37:41 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
BTW, I just tested the Control-C with my recent Linux build on top of
2.6.1:
=============================================================================
(:TYPE-PRESCRIPTION EXPT-TYPE-PRESCRIPTION-NONZERO))
Warnings: None
Time: 0.05 seconds (prove: 0.05, print: 0.00, other: 0.00)
EXPONENTS-ADD-NEGATIVE-NEGATIVE
Error: Console interrupt.
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by DEFTHM-FN.
Broken at COND. Type :H for Help.
ACL2>>
=============================================================================
Take care,
Jacques Mequin <address@hidden> writes:
> I am new, and yet unexperimented, ACL2 user
>
> Originally I have pulled the already built ACL2 image from the
> ACL2 ftp
>
> The problem is that this image was built with an old GCL 2.5.0
> release that had a nasty "fixnum" garbage collector bug making
> sometime the ACL2 user to lose its entire session
>
> Matt, knowing that the bug was fixed, has suggested me to build
> myself an ACL2 image starting from a recent win32 cvs GCL image
>
> In fact, maybe GCL 2.5.1, or 2.5.2 would have been enough for me
> but the only available binary on the "cvs" is that 2.5.3 that,
> like any "cvs", may be unstable
>
> I suggest you to also keep, on line, a stable image of the previous
> official release
>
> Its is a pain, but to resume my ACL2 work, I have tried to compile
> an official GCL release for the source tar files
> Unfortunatly, with cygwin, but for mingw, I have ran into trouble
> during compilation and I have not yet succeeded to complete a GCL
> image
>
> Yes, even with the current "cvs" 5.2.3 image the later building of
> ACL2 can be performed without error
> The "garbage collector" bug is gone and that solves the issue that
> was at the origin of all of this
> But that goes wrong, now, is the fact to (console) interrupt an ACL2
> long (or looping) proof by a "control-c" no longer returns (as it
> used to do on 2.5.0) to common lisp top level but directly abort the
> whole session with an error message
> This makes ACL2 very painful to use
>
> Regards,
> Jacque
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Re: Windows issues, (continued)
- RE: [Gcl-devel] Windows issues, Mike Thomas, 2003/09/18
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/18
- Re: [Gcl-devel] Windows issues - reversion, Jacques Mequin, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/21
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/24
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/24
- Re: [Gcl-devel] Windows issues - reversion,
Camm Maguire <=
- Re: [Gcl-devel] Windows issues - reversion, Jacques Mequin, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Jacques Mequin, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- [Gcl-devel] GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/21
- [Gcl-devel] Re: GCL ACL2 - gc$ and contrl-C, Matt Kaufmann, 2003/09/21
- [Gcl-devel] Re: GCL ACL2 - gc$ and contrl-C, Jacques Mequin, 2003/09/22
- [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/22
- Re: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Camm Maguire, 2003/09/24
- RE: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/24