This page: Installing SML-NJ on Ubuntu 18.04