tedz2usa
/ Installing SML-NJ on Ubuntu 18.04
Last active
April 8, 2024 13:37
Installing SML-NJ on Ubuntu 18.04
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Installation Tips for SML/NJ on Ubuntu 18.04 | |
| Ted Zhu | |
| First, follow the steps outlined in the SML/NJ installation instructions for Unix: | |
| http://smlnj.org/install/ | |
| The final step, | |
| $ config/install.sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| " Don't try to be vi compatible | |
| set nocompatible | |
| " Helps force plugins to load correctly when it is turned back on below | |
| filetype off | |
| " TODO: Load plugins here (pathogen or vundle) | |
| " Turn on syntax highlighting | |
| syntax on |