[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: |
24 Sep 2003 12:58:58 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
"Mike Thomas" <address@hidden> writes:
> Hi Jacques/Camm.
>
>
> | > 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
>
> Let me know what those MinGW problems are - don't suffer in silence! (Also
> which package you tried to build too please.)
>
> By the way, for several reasons (search the mailing list), a Cygwin build of
> GCL is not supported unless someone else wants to do it.
>
> | OK, I think we need to finalize 2.6.1, and all build the *same* tree
> | and place on the website. We might call this 2.6.2 if people like,
> | and then proceed to work on 2.7.0 pending critical bugs that may
> | appear. Anyone have 'showstoppers' that need fixing in 2.6.1? Seems
> | to work great for me with itself, maxima, acl2 and axiom.
>
> Camm - Apart from the hard-wired path problem the traditional build of 2.6.1
> works OK here on Maxima and ACL2 under Windows XP.
>
Great! Please let me know if you need any changes on my end to
facilitate your installer. Also would be nice to know what the axiom
status is.
Take care,
> I must qualify the Maxima data point by saying that it is CVS from six
> months ago. Our network no longer allows anonymous CVS downloads so I can't
> try the latest CVS.
>
> Cheers
>
> Mike Thomas.
>
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Windows issues, Matt Kaufmann, 2003/09/17
- [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 <=
- 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