[MLton-devel] new release ready for testing

[Stephen Weeks]

> > 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?

I don't think rpm2cpio exists, so probably not.

> Or compile it from source?  If so, then I don't understand why it is
> included in the MLton rpm/source.

A Cygwin user could grab the gmp and compile it from the source.  The
only reason for the gmp tgz in the MLton sources is so that they can
compile MLton without having to go off and grab anything else.  Maybe
that's a bogus reason.

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