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

【问题标题】：How to remove SML/NJ 110.75 from Mac OS X Mavericks?如何从 Mac OS X Mavericks 中删除 SML/NJ 110.75？
【发布时间】：2014-10-05 01:10:26
【问题描述】：

我在 @MisterSpock 的 these instructions 之后在 Mac OS X Mavericks 上安装了 SML/NJ 110.75。安装最初失败，但按照here 的指示编辑配置文件很简单，以解决该问题。安装后，我noticed a binary for SML/NJ 110.76 is available 并安装了它。现在，如何删除之前安装的 SML/NJ 110.75？

【问题讨论】：

标签： osx-mavericks uninstallation smlnj

【解决方案1】：

可以通过终端删除安装目录来删除：

$ 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

【讨论】：