[MLton-devel] new release ready for testing

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 11 Apr 2002 12:34:38 -0400 (EDT)


> > CHANGES says
> > * 2002-02-03
> >   - Removed gmp from MLton sources.  We now link with /usr/lib/gmp.a.
> > but gmp-4.0.1.tgz is still in runtime directory.
> > (I seem to recall that this is for Cygwin, but seems to me as though they
> > should be able to install their own gmp if they want.)
> 
> I added the following entry.
> 
> * 2002-02-24
>   - Added gmp back for use with Cygwin.
> 
> I'm not sure what you propose to do regarding users installing their
> own gmp.  I agree that they should be able to.  Is there something
> preventing it?

No, and that's the point.  Can Cygwin users install an rpm version of gmp?
Or compile it from source?  If so, then I don't understand why it is
included in the MLton rpm/source.



_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel