Commit da1454c 1 parent 04f3ed8 commit da1454c Copy full SHA for da1454c
File tree 1 file changed +3
-22
lines changed
1 file changed +3
-22
lines changed Original file line number Diff line number Diff line change 1
-
2
- FROM ubuntu:trusty
1
+ FROM avsm/docker-opam-build:ubuntu-14.04-ocaml-4.02.1
3
2
MAINTAINER Anil Madhavapeddy <anil@recoil.org>
4
3
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
-
19
4
# add entrypoint script
20
5
#
21
6
ADD .opam-config-exec /usr/bin/opam-config-exec
@@ -38,17 +23,13 @@ RUN git config --global user.email "mirage@example.com" && \
38
23
git config --global user.name "Mirage"
39
24
40
25
41
- # setup opam with mirage-dev remote
26
+ # setup opam environment
42
27
#
43
28
ENV OPAMVERBOSE 1
44
29
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
49
31
50
32
# entry
51
33
#
52
34
ENTRYPOINT ["/usr/bin/opam-config-exec" ]
53
35
CMD ["bash" ]
54
-
You can’t perform that action at this time.
0 commit comments