Dockerfile for SML#

Dockerfile

# About:
#   Dockerfile for SML# a Standard ML family programming language
# See: 
#   https://github.com/smlsharp/smlsharp
# Usage:
#   docker build -t smlsharp .
#   docker run --rm -it smlsharp:latest rlwrap smlsharp
#
FROM --platform=linux/x86-64 debian:buster

RUN apt-get -y update
RUN apt-get -y install wget

RUN wget -P /usr/share/keyrings https://github.com/smlsharp/repos/raw/main/debian/dists/buster/smlsharp-archive-keyring.gpg
RUN wget -P /etc/apt/sources.list.d https://github.com/smlsharp/repos/raw/main/debian/dists/buster/smlsharp.list
RUN apt-get -y update
RUN apt-get -y install smlsharp
RUN apt-get -y install rlwrap

Dockerfile for SML#

Build

Download this Dockerfile and run this command on same directory:

docker build -t smlsharp .

Run

To launch SML# interpreter, run this command:

docker run --rm -it smlsharp:latest rlwrap smlsharp

NOTE: rlwrap is a tool that wraps specific commands to provide line editing functions similar to bash.