blob: ed38b322df28a21daf33e29b17149076f4aa2cbb (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- mlton/Makefile.orig 2007-12-22 22:09:47.000000000 +0100
+++ mlton/Makefile 2007-12-22 22:09:56.000000000 +0100
@@ -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 680m gc-summary $(RUNTIME_ARGS) --
ifeq (self, $(shell if [ -x "$(BIN)/mlton" ]; then echo self; fi))
# We're compiling MLton with itself, so don't use any stubs.
|
