Files
Serpent7776andRobert Clausecker ebc62e34c6 lang/mlkit: Standard ML Compiler
The MLKit is a compiler toolkit for the Standard ML language, including
The MLKit with Regions, which features a native backend for
the x64 architecture, based on region inference, and SMLtoJs,
which features a JavaScript backend targeting web browsers.
The two compilers share the same frontend and compilation management scheme.

The MLKit covers all of Standard ML, as defined in the 1997 edition of
The Definition of Standard ML and supports most of
the Standard ML Basis Library.

WWW: https://elsman.com/mlkit/

PR:		269566
2023-05-30 01:24:04 +02:00

12 lines
534 B
Plaintext

--- Makefiledefault.orig 2023-03-02 09:01:41 UTC
+++ Makefiledefault
@@ -1,7 +1,7 @@
ifeq ($(MLCOMP)x,x)
#MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten
#MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten
-MLCOMP=mlton @MLton ram-slop 0.7 -- -drop-pass deepFlatten -drop-pass refFlatten
+MLCOMP=mlton @MLton fixed-heap 4G -- -drop-pass deepFlatten -drop-pass refFlatten
#mlton @MLton ram-slop 0.7 gc-summary -- -drop-pass deepFlatten -verbose 3
endif