HCoop / hcoop / debian / mlton.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 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"] |