[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