Hi, Camm --
Sorry, I have no idea about #1 (but I'm pretty sure it's "yes" to #2
and #3) or about Cygwin; so, I'm bringing Jared back into this thread.
Perhaps he or David Rager, also copied, can answer; if you don't get
an answer soon on #1, ask me again and I'll try to find someone around
here who knows.
When you're ready for me to test ACL2 on a GCL 2.6.8 Windows binary,
please let me know.
-- Matt
Sender: address@hidden
Cc: address@hidden, address@hidden, address@hidden
From: Camm Maguire <address@hidden>
Date: 11 May 2007 19:10:30 -0400
X-SpamAssassin-Status: No, hits=2.1 required=5.0
X-UTCS-Spam-Status: No, hits=-280 required=200
Greetings!
Matt Kaufmann <address@hidden> writes:
> Hi, Camm --
>
> As I mentioned, because of my Windows (and GCL) ignorance I'd prefer
> to help by building/testing ACL2 on top of an already-built GCL 2.6.8,
> rather than by building GCL or running specific tests. So I'm passing
No problem at all. Even this assistance is most appreciated.
> along the following observations from Jared Davis directly to you
> (with his permission). Jared also wondered to me whether you may find
> it easier to use Windows yourself, in which case we may be able to get
> you VNC access to our Windows machine here; or perhaps you'd find it
> easiest to obtain a $350 dual-core Dell or what-not.
We're all terribly short of time. Perhaps if everything else is
completely solid, I may find some time to make use of remote access.
This would make most sense if the following were available (as opposed
to vnc)
1. remote ssh access.
2. bash like shell
3. gcc and gdb and mingw pre-installed
The learning curve for me otherwise appears formidable.
>
> Anyhow, if you want me to try to arrange VNC access to our Windows
> machine, let me know.
>
Thank you so much. It would probably be useful. Any chance of 1-3
above though?
If cygwin is closer to unix, as I believe it is, I'd certainly be
interested in investigating this as an alternative. If your machine
has this environment available as well and you could tell me how to
toggle, that would be great too.
Take care,
> -- Matt
> From: "Jared C. Davis" <address@hidden>
> Subject: Re: request for windows gcl 2.6.8.help from address@hidden
> To: "Matt Kaufmann" <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 11 May 2007 10:10:54 -0500
>
> Hi,
>
> Here are some vague thoughts.
>
> 1. I think I had to do something like "cd C:\progra~1\whatever"
> instead of "cd C:\Program Files\whatever" before building GCL, in
> order to fix the problems with spaces.
>
> 2. For a long time, the configure script or the automake or something
> like that was broken and had syntax errors which only showed up in
> later versions of make, including the version in mingw. This may be
> fixed now.
>
> 3. I tried at some point to switch to Cygwin instead of Mingw, because
> I thought Mingw was dead after not having released any new packages
> for years. This was not a straightforward process and I couldn't get
> it to compile due to undefined functions and such. It looks like
> Mingw has some newer files now, including an updated runtime as of
> March 2007, but some of their other files including GCC and Msys
> haven't been updated since 2003 or 2004.
>
> 4. Awhile ago, Microsoft released a free version of their compiler,
> but presumably it would be even harder to port GCL to it than to
> Cygwin.
>
> Thanks,
> Jared
>
> On 5/11/07, Matt Kaufmann <address@hidden> wrote:
> > David --
> >
> > Is the space in "Program Files" getting in the way of building GCL or
> > of building ACL2? If the former, you could report that to Camm
> > Maguire (address@hidden), and I'm sure he'd be interested.
> >
> > -- Matt
> > From: "David L. Rager" <address@hidden>
> > Cc: <address@hidden>, <address@hidden>
> > Date: Fri, 11 May 2007 05:36:33 -0500
> > Thread-Index: AceTrvbyHb3WJYXPSXi2gXtsqX126AACOcgg
> > X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028
> > X-SpamAssassin-Status: No, hits=-4.5 required=5.0
> > X-UTCS-Spam-Status: No, hits=-858 required=200
> >
> > Hey Matt,
> >
> > I feel the same way, actually. I feel badly that I wasn't more
responsive
> > in the first place, but this stuff is out of my domain of experience.
> >
> > This being said, I did download gcl from cvs and was able to
configure it.
> > I'm now stuck on the space that's in my "program files" directory
that seems
> > to be interfereing with make somehow. I wouldn't count on me making
any
> > real progress on this anytime soon, but if it's high priority, then I
can
> > focus on it.
> >
> > David
> >
> > > -----Original Message-----
> > > From: Matt Kaufmann [mailto:address@hidden
> > > Sent: Friday, May 11, 2007 4:30 AM
> > > To: address@hidden
> > > Cc: address@hidden; address@hidden
> > > Subject: Re: request for windows gcl 2.6.8.help from address@hidden
> > >
> > > I was too embarrassed to copy everyone on my reply to Camm, but here
> > > it is so that you'll know that I'm probably not going to get very
> > > involved in this, other than quite possibly to test ACL2 on
> > > GCL/Windows 2.6.8 when it's ready.
> > >
> > > Date: 10 May 2007 22:43:25 -0500
> > > From: Matt Kaufmann <address@hidden>
> > > To: address@hidden
> > > In-reply-to: <address@hidden> (message from Camm
> > > Maguire
> > > on 10 May 2007 22:13:59 -0400)
> > > Subject: Re: request for windows gcl 2.6.8.help from
address@hidden
> > >
> > > Hi, Camm --
> > >
> > > Oh, Yikes -- I guess I shouldn't have signed up for anything.
When I
> > > said this
> > >
> > > >> perhaps all I can do is start up GCL (in an emacs shell I
hope) and
> > > >> run some commands
> > >
> > > I didn't mean to imply that I know how to get GCL 2.6.8pre, how to
> > > apply the patches, how to build, or how to test. I'm clueless
about
> > > all of those.
> > >
> > > I'd like to be helpful, but I'd like to be helpful in ways that
are
> > > efficient (like testing patches you've sent me with ACL2 on
linux, and
> > > producing examples as I send you from time to time). And this
month
> > > is particularly bad for me (which is why I mentioned "spare
cycles"),
> > > so I don't think I'll be helpful on this issue. Ugh, I hate to
let
> > > you down, but I'm in way over my head on this one....
> > >
> > > Perhaps one thing I could do that's easy for me and useful to you
is
> > > to fetch a GCL 2.6.8pre binary for Windows (when it's ready and
you
> > > tell me where it is), and then build/test ACL2 on top of it (by
> > > issuing "make" commands, about all I know how to do on
Windows/mingw).
> > > If that test fails, I may be able to do a bit of debugging to help
> > > isolate the problem.
> > >
> > > -- Matt
> > >
> > > -- Matt
> > > From: "David L. Rager" <address@hidden>
> > > Date: Fri, 11 May 2007 02:27:02 -0500
> > > Thread-Index: AceTRlI7+Tii3JGjSmu0T9H9UezAJAALwtkg
> > > X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028
> > > X-SpamAssassin-Status: No, hits=-5.0 required=5.0
> > > X-UTCS-Spam-Status: No, hits=-860 required=200
> > >
> > > Anyone who downloads Jared/Alex's version of ACL2 for windows
will have
> > > the
> > > mingw environment. It would be nice if someone who actually
uses GCL
> > > and
> > > knows some its quirks could help with this. Otherwise I'll have
a go
> > > when/if Matt gets stuck.
> > >
> > > > -----Original Message-----
> > > > From: Robert Boyer [mailto:address@hidden
> > > > Sent: Thursday, May 10, 2007 4:02 PM
> > > > To: address@hidden
> > > > Subject: request for windows gcl 2.6.8.help from address@hidden
> > > >
> > > > address@hidden writes:
> > > >
> > > > > If there is anyone at your site who uses the mingw
> > > > > windows port and can spare a few moments remote
> > > > > debugging via email, please let me know. This port
> > > > > is currently the albatross holding up 2.6.8.
> > > >
> > > > I have a vague idea that someone around here might know
> > > > how and be willing to lend a hand on this.
> > > >
> > > > If so, thanks.
> > > >
> > > > Bob
> >
>
>
> - --
> Jared C. Davis <address@hidden>
> 3600 Greystone Drive #604
> Austin, TX 78731
> http://www.cs.utexas.edu/users/jared/
> ----------
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah