[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Windows issues
From: |
Matt Kaufmann |
Subject: |
[Gcl-devel] Windows issues |
Date: |
Wed, 17 Sep 2003 07:52:05 -0500 |
Hi, Camm --
I've received some questions from an ACL2 user who is having trouble with GCL
on Windows. He tells me that he has recently obtained GCL via cvs, which he
says is providing a recent flavor of 2.5.3. If there are previous versions
that don't have the problem below he would like to know what they are. Anyhow,
here are those questions, which I forward with his permission. By the way, the
function gc$ mentioned below is just an interface si::gbc; he tried (si::gbc)
and got the same problem.
Thanks --
-- Matt
Date: Wed, 17 Sep 2003 08:59:22 +0200
From: Jacques Mequin <address@hidden>
Organization: JSM software infrastructure, Texas Instruments France (Nice)
X-Accept-Language: en
To: Matt Kaufmann <address@hidden>, Jacques Mequin <address@hidden>
Subject: Control-C
Content-Type: text/plain; charset=us-ascii
On windows XP, I have ran a "make large" after the installation of the
cvs gcl-2_5_3-ansi-japi-xdr_20030701_mingw32
So, the "garbage collection" bug is gone and I can restart my work
under my Xemacs environment
However, you need to know the following
* the install has now to take care of a GCL path access to a
"dll" named "oncrpc.dll"
* calling (gc$) does produce now the following
Unrecoverable error: bind stack overflow
This application has requested the Runtime to terminate it in an
unusual way
Please contact the application's support team for more information
Process acl2 exited abnormally with code 3
* but, the most annoying issue is the "control-c" that I used to do
when a proof was running out of control
This now results to the same above message
Unrecoverable error: bind stack overflow
This application has requested the Runtime to terminate it in an
unusual way
Please contact the application's support team for more information
I do not know if this is a problem occurring only on recent GCL release
but I am back to a situation where my chance to lose my session is
as great as before
Regards,
Jacques
- [Gcl-devel] Windows issues,
Matt Kaufmann <=
- [Gcl-devel] Re: Windows issues, Camm Maguire, 2003/09/17
- 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