如何在运行时自动加载这些文件,以便在调用“sml”时,它位于默认环境中?
您需要创建一个
由政府管理
sml
脚本,然后可以象征性地链接到该脚本。为了避免引导的复杂性,我通常给我的堆映像起一个不同的名字;例如
sml-nw
适用于SML/NJ,支持
noweb
创建堆映像所需的基本原语是
SMLofNJ.exportML
-
open IntInf
把你所有的
Control.Print
变量。(您可以尝试设置控件。打印
things to
valOf Int.maxInt`,最接近无穷大。)
-
通过创建新的堆映像
SMLofNJ.exportML "mysml"
. 启动自定义版本时,将在调用之后立即开始
exportML
. 阅读
the documentation
. 玩耍;有很多方法可以使用这个原语。
-
复制堆映像(可能是
mysml.x86-linux
)到堆映像的安装目录(在我的安装中,
/usr/lib/smlnj/bin/.heap
,但您可以按照
sml
脚本(请确定)
-
mysml
这是一个符号链接到
sml
剧本
在过去,这已经足够了,但我已经好几年没有使用SML/NJ了。我还找到了一个
somewhat outdated example
在网上。