[MLton] Re: [MLton-commit] r4814

[Matthew Fluet]

> Switched from fixed-heap 512m to max-heap 640m.
>
> ----------------------------------------------------------------------
>
> U   mlton/trunk/mlton/Makefile
> U   mlton/trunk/package/debian/changelog
>
> ----------------------------------------------------------------------
>
> Modified: mlton/trunk/mlton/Makefile
> ===================================================================
> --- mlton/trunk/mlton/Makefile	2006-11-12 15:34:03 UTC (rev 4813)
> +++ mlton/trunk/mlton/Makefile	2006-11-12 23:04:57 UTC (rev 4814)
> @@ -18,7 +18,7 @@
> UP = upgrade-basis.sml
> PATH = $(BIN):$(shell echo $$PATH)
>
> -FLAGS = @MLton ram-slop 0.7 gc-summary $(RUNTIME_ARGS) --
> +FLAGS = @MLton max-heap 640m ram-slop 0.7 gc-summary $(RUNTIME_ARGS) --

I'd prefer to only push the max-heap option into the Debian package and 
not cripple builds on machines with sufficient memory.

I also don't entirely understand why ram-slop isn't sufficient on the 
Debian machines.