mlton docker environment

Dockerfile

FROM ubuntu:latest

RUN apt-get update -y
RUN apt-get install -y build-essential libgmp10-dev curl
RUN curl -s -L http://downloads.sourceforge.net/project/mlton/mlton/20130715/mlton-20130715-1.amd64-linux.tgz | zcat - | tar x

WORKDIR /home
VOLUME /home

mlton

#!/bin/sh

exec docker run -v `pwd`:/home mlton mlton $@

mlton-exec

#!/bin/sh

exec docker run -v `pwd`:/home mlton /home/$@

mlton-run

#!/bin/sh

module=`basename $1 .sml`

./mlton $module.sml && ./mlton-exec $module

Usage:

$ git clone https://gist.github.com/d23ba889dfd48d07efff.git mlton-work
$ cd mlton-work
$ docker build -t mlton .
$ $EDITOR hello-world.sml
$ mlton-run hello-world.sml