[Top][All Lists]

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

[Gcl-devel] GCL ACL2 - gc$ and contrl-C

From: Mike Thomas
Subject: [Gcl-devel] GCL ACL2 - gc$ and contrl-C
Date: Mon, 22 Sep 2003 10:24:34 +1000

Hi Jacques and Matt.

| I have tried to start ACL2 (based on the current "cvs" 5.2.3,
| that is maybe
| unstable) in a regular DOS windows and it does fail after a control-c by
| returning directly to the DOS prompt

I would appreciate it very much if you could try the Windows
"2.5.4.japi.xdr.20030815" binary on Camm's temporary download site:


I am unsure of what is causing the ^C problem on Windows and it may still
still be present with this version.

Please let me know what happens.

| Finally, I am not sure to have understood all the mails but
| somebody seems to
| have suggested that the gc$ problem was related to a missing parameter


It needs a parameter as detailed further by Matt in his other reply to your
message.   The unstable version of GCL which you used did not deal with the
error message correctly which made it pretty hard for you to see the

This problem should should not be present in the 2.5.4 stable version. (That
is how I found out that you were missing a parameter to gc$.)


Mike Thomas.

reply via email to

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