Dockerfile

   1 FROM ubuntu:latest
   2
   3 # Install the dependencies. We'll use the ubuntu provided mlton to bootstrap our local build.
   4 RUN apt-get update -qq \
   5  && apt-get install -qq git build-essential libgmp-dev mlton mlton-tools
   6
   7 # Copy the current directory (MLton source root) to a location within the container & move there
   8 COPY . /root/mlton
   9 WORKDIR /root/mlton
  10
  11 # Build from source & install
  12 RUN make \
  13  && make install
  14
  15 ENTRYPOINT ["make", "check"]