如何从Mac OS X Mavericks中删除SML / NJ 110.75?

时间:2014-05-18 23:23:55

标签: osx-mavericks uninstall smlnj

我在@MisterSpock的these instructions之后在Mac OS X Mavericks上安装了SML / NJ 110.75。安装最初失败,但是按照指示here编辑配置文件是一件简单的事情来解决这个问题。安装完成后,noticed a binary for SML/NJ 110.76 is available和我安装了{{3}}。现在,如何删除先前安装的SML / NJ 110.75?

1 个答案:

答案 0 :(得分:2)

您可以使用终端删除安装目录来删除它:

$ sudo rm -rf /usr/local/smlnj

然后,安装SML / NJ将在那里放一个新副本。

注意:另外,您可能希望删除手册页:

/usr/local/share/man/man1/ml-antlr.1
/usr/local/share/man/man1/ml-build.1
/usr/local/share/man/man1/ml-ulex.1
/usr/local/share/man/man1/ml-makedepend.1
/usr/local/share/man/man1/sml.1
/usr/local/share/man/man7/smlnj.7