我在@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?
答案 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