Skip to content

Instantly share code, notes, and snippets.

@k4rtik

k4rtik/install-smlnj.sh

Created April 26, 2020 16:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save k4rtik/0cb72f1191d21f66d0345ec825c36cb0 to your computer and use it in GitHub Desktop.
Save k4rtik/0cb72f1191d21f66d0345ec825c36cb0 to your computer and use it in GitHub Desktop.
Download ZIP
SML/NJ install script for 64-bit install in ~/.local
Raw
install-smlnj.sh
#!/bin/sh
VERSION=${1:-110.97}
cd /tmp
mkdir -p smlnj && cd smlnj
wget http://smlnj.cs.uchicago.edu/dist/working/$VERSION/config.tgz
tar -xzf config.tgz
mkdir -p ~/.local
env INSTALLDIR=~/.local config/install.sh -default 64
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment