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
7 # Copy the current directory (MLton source root) to a location within the container & move there
11 # Build from source & install
15 ENTRYPOINT ["make", "check"]