Skip to content

Commit da1454c

Browse files
committedJul 11, 2015
Refresh Dockerfile for the latest OPAM Docker remote
1 parent 04f3ed8 commit da1454c

File tree

1 file changed

+3
-22
lines changed

1 file changed

+3
-22
lines changed
 

‎Dockerfile

+3-22
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,6 @@
1-
2-
FROM ubuntu:trusty
1+
FROM avsm/docker-opam-build:ubuntu-14.04-ocaml-4.02.1
32
MAINTAINER Anil Madhavapeddy <anil@recoil.org>
43

5-
# build and source-control tools
6-
#
7-
RUN apt-get update && \
8-
apt-get -y install \
9-
pkg-config git build-essential m4 software-properties-common libssl-dev
10-
11-
# opam 1.2 and ocaml 4.01
12-
#
13-
RUN add-apt-repository ppa:avsm/ocaml41+opam12 && \
14-
apt-get update && \
15-
apt-get -y install \
16-
ocaml camlp4-extra ocaml-native-compilers opam
17-
18-
194
# add entrypoint script
205
#
216
ADD .opam-config-exec /usr/bin/opam-config-exec
@@ -38,17 +23,13 @@ RUN git config --global user.email "mirage@example.com" && \
3823
git config --global user.name "Mirage"
3924

4025

41-
# setup opam with mirage-dev remote
26+
# setup opam environment
4227
#
4328
ENV OPAMVERBOSE 1
4429
ENV OPAMYES 1
45-
46-
RUN opam init -a
47-
RUN opam remote add mirage-dev git://github.com/mirage/mirage-dev
48-
30+
ENV OPAMJOBS 2
4931

5032
# entry
5133
#
5234
ENTRYPOINT ["/usr/bin/opam-config-exec"]
5335
CMD ["bash"]
54-

0 commit comments

Comments
 (0)
Please sign in to comment.