[MLton-devel] new release ready for testing
Stephen Weeks
MLton@mlton.org
Thu, 11 Apr 2002 13:31:16 -0700
> I'd say it is. If I don't have gmp installed in Linux, I have to go off
> and fetch it; yes some of the fancy installers might get my dependencies
> for me, but I still need to. Another argument, if it doesn't end up in
> the rpm, it shouldn't be in the source. Although, I do see that you've
> included libgmp.a in the Cygwin binary distribution.
OK. I agree that gmp should not be in the sources or our CVS.
However, I would like to leave libgmp.a in the Cygwin binary, just
because gmp is not part of the Cygwin package system, and I don't want
to force people to compile it in that world. With that, it is a bit
strange to have something in the binary that didn't come from the
sources, but oh well.
> Also, although this might just add fuel to Henry's fire, downloading off
> of sourceforge is ridiculously slow.
Yeah. It varies greatly. I have seen anywhere from 8K/s to 130K/s.
It seems to be worse during the day. I have submitted a ticket to
SourceForge.
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel