Import Upstream version 20180207
[hcoop/debian/mlton.git] / Dockerfile
... / ...
CommitLineData
1FROM ubuntu:latest
2
3# Install the dependencies. We'll use the ubuntu provided mlton to bootstrap our local build.
4RUN 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
8COPY . /root/mlton
9WORKDIR /root/mlton
10
11# Build from source & install
12RUN make \
13 && make install
14
15ENTRYPOINT ["make", "check"]