mirror of
https://github.com/netbirdio/FreeBSD-ports.git
synced 2026-05-22 18:42:42 -07:00
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
12 lines
534 B
Plaintext
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
|
|
|