release?
Jeffrey R Lewis
jeff@galois.com
Thu, 7 Aug 2003 11:09:12 -0700
On Thursday, August 7, 2003, at 10:34 AM, Ross Paterson wrote:
> On Wed, Jul 23, 2003 at 01:36:48PM +0100, Alastair Reid wrote:
>> Ross Paterson wrote:
>>> Can we do a release of Hugs over the next month or two?
>>
>> I think that's a great idea. We've had a lot of big, useful changes
>> since the last release (many thanks to you for doing them).
>
> I think it's basically ready now, except that some of my changes may
> have caused minor breakage on Windows (which I'm unqualified to fix).
> Maybe we could put up a source tarball and invite Unix users to test
> it.
>
Is the build process documented somewhere? I casual glance about the
source tree doesn't reveal anything up-to-date that includes everything
you need to do (in particular, what the expected method of slurping in
the libraries is).
This used to be nicely automated via the Makefile at the top-level -
has this been kept up-to-date? The last time I tried to use it, it
failed, but the problem appeared to be MacOS-specific, so I don't know
if it would go through on a regular linux box or not.
--Jeff