Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: f5f6ca98d5d7
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 9efa77270db6
Choose a head ref
  • 3 commits
  • 1 file changed
  • 1 contributor

Commits on Mar 7, 2016

  1. refresh Dockerfile to use latest supported OPAM images

    @avsm
    avsm committed Mar 7, 2016
    Copy the full SHA
    29ccb38 View commit details

  2. Dockerfile: add a src mount

    @avsm
    avsm committed Mar 7, 2016
    Copy the full SHA
    fd238ce View commit details

  3. Merge pull request #505 from avsm/refresh-dockerfile 

    refresh Dockerfile to use latest supported OPAM images
    @avsm
    avsm committed Mar 7, 2016
    Copy the full SHA
    9efa772 View commit details
Showing with 6 additions and 20 deletions.
  1. +6 −20 Dockerfile
26 changes: 6 additions & 20 deletions Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -1,20 +1,6 @@
FROM avsm/docker-opam-build:ubuntu-14.04-ocaml-4.02.1
MAINTAINER Anil Madhavapeddy <anil@recoil.org>

# add entrypoint script
#
USER root
ADD .opam-config-exec /usr/bin/opam-config-exec
RUN chmod 755 /usr/bin/opam-config-exec
USER opam

# setup opam environment
#
ENV OPAMYES 1
ENV OPAMJOBS 4

RUN opam install mirage

# entry
#
CMD ["bash"]
FROM ocaml/opam
RUN sudo -u opam sh -c "opam depext -u mirage mirage-xen mirage-unix" && \
sudo -u opam sh -c "opam install -y -j 2 -v mirage mirage-xen mirage-unix" && \
sudo sh -c "mkdir -p /src && chown opam /src"
VOLUME /src
WORKDIR /src