sml/nj in Docker

sml.nj.docker.md

Installing Standard ML of New Jersey in Docker

References:

• https://www.smlnj.org/smlnj.html
• https://www.smlnj.org/dist/working/110.99.4/install.html
• https://github.com/smlnj

Run an interactive container

docker container run --rm -it rwcitek/smlnj sml

Build the image

Note: this should be a staged build

cat <<'eof' > /tmp/Dockerfile.smlnj
from ubuntu:22.04

run     apt-get update && \
        apt-get install -y \
          build-essential \
          curl \
          jq \
          less \
          tree \
          vim \
          wget \
          ;

workdir /usr/local/src/smlnj
run     curl -s -L https://smlnj.org/dist/working/110.99.4/config.tgz | \
           tar -xzf -
run     config/install.sh
run     install bin/sml /usr/local/bin/
workdir /tmp

copy Dockerfile.smlnj /Dockerfile 

eof

docker build --tag smlnj -f /tmp/Dockerfile.smlnj /tmp/
docker tag smlnj rwcitek/smlnj

Push to DockerHub

docker login
docker push rwcitek/smlnj

Pull from Dockerhub

docker pull rwcitek/smlnj