如何从源代码安装 sml/nj?
How to install sml/nj from source?
我可以成功安装 sml/nj 正如文档所说:http://smlnj.org/dist/working/110.99/install.html
但是如何从源代码安装,文档说让我下载 config.tgz,而不是脚本 install.sh 可以从网络下载和编译其他文件
但是如果我想编辑源代码,测试结果,这种方式似乎行不通
例如:我编辑文件compile.sml,想看看结果,所以我需要重新编译编译器,但是install.sh会从网上下载compiler.tgz,不是我更改的文件
如何从源安装 sml/nj?谢谢!
smlnj.org 没有 SSL 证书,release-note README links are broken, the GitHub repo 没有顶级自述文件。在他们的网站上滚动了一下,有一个 link 安装手册:
它提到了 install.sh,您可能已经尝试 运行。 运行 这似乎克服了与弄清楚源代码如何绑定在一起相关的许多复杂问题。不幸的是,它在我的机器上失败了;我不知道这是不是因为我 运行 MacOS 和 cc
默认为 clang,或者什么。
install.sh will download the compiler.tgz from internet,not the file I change
我没有遇到重新运行宁config/install.sh
会重新下载源代码,但我也没有遇到这个命令成功。如果您注意到,有一个名为 config/srcarchiveurl 的文件,其中包含变量 SRCARCHIVEURL
。当您 grep
围绕它时,它出现在 config/download.sh 和 config/unpack 中——后者 unpack
是整个 install.sh 中使用的实用程序,以确保存在给定的子目录。应该检查文件是否已在 lines 205--209.
下载
每次我想从头开始安装 SML/NJ 时,我基本上已经放弃并选择了 Poly/ML, Moscow ML, MLKit, or MLton,只是因为它们不需要那么多安装。 SML/NJ 就其分发方式而言,它不是现代软件。 Poly/ML 和 Moscow ML 有点简约(他们不支持 MLB),但更容易修改; MLton 没有 REPL,但可以轻松安装。
我可以成功安装 sml/nj 正如文档所说:http://smlnj.org/dist/working/110.99/install.html
但是如何从源代码安装,文档说让我下载 config.tgz,而不是脚本 install.sh 可以从网络下载和编译其他文件
但是如果我想编辑源代码,测试结果,这种方式似乎行不通
例如:我编辑文件compile.sml,想看看结果,所以我需要重新编译编译器,但是install.sh会从网上下载compiler.tgz,不是我更改的文件
如何从源安装 sml/nj?谢谢!
smlnj.org 没有 SSL 证书,release-note README links are broken, the GitHub repo 没有顶级自述文件。在他们的网站上滚动了一下,有一个 link 安装手册:
它提到了 install.sh,您可能已经尝试 运行。 运行 这似乎克服了与弄清楚源代码如何绑定在一起相关的许多复杂问题。不幸的是,它在我的机器上失败了;我不知道这是不是因为我 运行 MacOS 和 cc
默认为 clang,或者什么。
install.sh will download the compiler.tgz from internet,not the file I change
我没有遇到重新运行宁config/install.sh
会重新下载源代码,但我也没有遇到这个命令成功。如果您注意到,有一个名为 config/srcarchiveurl 的文件,其中包含变量 SRCARCHIVEURL
。当您 grep
围绕它时,它出现在 config/download.sh 和 config/unpack 中——后者 unpack
是整个 install.sh 中使用的实用程序,以确保存在给定的子目录。应该检查文件是否已在 lines 205--209.
每次我想从头开始安装 SML/NJ 时,我基本上已经放弃并选择了 Poly/ML, Moscow ML, MLKit, or MLton,只是因为它们不需要那么多安装。 SML/NJ 就其分发方式而言,它不是现代软件。 Poly/ML 和 Moscow ML 有点简约(他们不支持 MLB),但更容易修改; MLton 没有 REPL,但可以轻松安装。