好的,我知道 SML/NJ 有一个自安装的 windows .msi
。
不幸的是,作为严格的安全策略,我不能将它安装在我的办公室 Windows 机器上,我不想与那些 IT 人员争论是否授予我权限。
那么,我可以在没有安装程序的情况下安装 SML/NJmaybe some zip I can get and just uncompress it for the sml.exe
吗?
好的,我知道 SML/NJ 有一个自安装的 windows .msi
。
不幸的是,作为严格的安全策略,我不能将它安装在我的办公室 Windows 机器上,我不想与那些 IT 人员争论是否授予我权限。
那么,我可以在没有安装程序的情况下安装 SML/NJmaybe some zip I can get and just uncompress it for the sml.exe
吗?
当然。我已经以这种形式为 Windows 构建了 SML/NJ:http: //people.cs.uchicago.edu/~larsberg/smlnj.zip
要使用它,请将其解压缩到桌面等位置,然后在命令提示符(或全局)中执行:set SMLNJ_HOME=c:\Users\USERNAME\Desktop\smlnj
然后您应该能够运行 sml.bat。如果您遇到任何问题,请随时向我提问;我是 SML/NJ 的 Windows 版本的维护者。