[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C |
Date: |
24 Sep 2003 13:07:04 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
"Mike Thomas" <address@hidden> writes:
> Hi Jacques.
>
> | I have tried and, so far, everything seems to work including the
> | "control-c"
>
> Great! It seems you will be OK for the time being with ACL2.
>
> | I am sorry, most of my troubles seem to having been caused by the
> | "gcl-2.5.3-ansi-japi-xdr.20030701_mingw32.zip" pulled from the cvs
>
> You weren't to know. The trouble began because I was unable to replace the
> unstable version quickly enough due to the download site problems.
>
> |
> | In fact, I should have built GCL from the source files but my "cygwin"
> | environment does still fail with some errors
>
> As I said, unless you want to support a Cygwin build yourself, you need to
> use MSYS and MinGW32 if you want a Windows version of GCL (see the
> readme-mingw.txt file in the source distribution.)
>
> | I need to communicate with you on this subject, but right now, I am in the
> | middle of a management mess that takes 100% of my time
> |
> | Texas Instruments does uses hundreds of Sun Sparc, and pc linux farms
> | But, all laptops are still windows XP based
> |
> | This is why Win32 images was important for me
>
> It's important for the Maxima distribution too (and maybe soon Axiom) so you
> don't need to worry about GCL disappearing in a hurry.
>
> Help is always appreciated as there is a distinct shortage of Windows
> programmers prepared to work on this project and there is at least one
> problem to which I have been unable to provide a solution for many months.
>
???? Inquiring minds would like to know ....
Take care,
> Cheers
>
> Mike Thomas.
>
>
>
>
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- RE: [Gcl-devel] Windows issues - reversion, (continued)
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/24
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 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
- 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 <=
- RE: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/24
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/19