Skip to content

Instantly share code, notes, and snippets.

@mboeh

mboeh/Dockerfile

Last active August 29, 2015 14:08
Show Gist options
  • Save mboeh/d23ba889dfd48d07efff to your computer and use it in GitHub Desktop.
Save mboeh/d23ba889dfd48d07efff to your computer and use it in GitHub Desktop.
Download ZIP
mlton docker environment
Raw
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
Raw
mlton
#!/bin/sh
exec docker run -v `pwd`:/home mlton mlton $@
Raw
mlton-exec
#!/bin/sh
exec docker run -v `pwd`:/home mlton /home/$@
Raw
mlton-run
#!/bin/sh
module=`basename $1 .sml`
./mlton $module.sml && ./mlton-exec $module
@mboeh
Copy link
Author

mboeh commented Oct 24, 2014

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment