1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
## Get an OPAM image. The tag can be changed by the `--build-arg`
## argument to the `docker build` command line. The full image name
## can also be changed by the same mean.
ARG tag=alpine
ARG image=ocaml/opam:$tag
FROM $image
MAINTAINER Yann Regis-Gianas
## This Dockerfile is made to be built on various distributions. Therefore, we
## just attempt to install dependencies with a bunch of package managers, and we
## just assert at the end that the dependencies are indeed installed.
RUN ! command -v apk || sudo apk add jq
RUN ! command -v apt-get || sudo apt-get install -yq jq
RUN ! command -v yum || { sudo yum install -y epel-release && sudo yum update -y && sudo yum install -y jq; }
RUN ! command -v zypper || sudo zypper --non-interactive install jq
RUN command -v jq
## Choose the right version of the OPAM switch. By default, we use the
## one coming from the dist image. But one can specify a specific
## switch with the `--build-arg`.
ARG switch=
RUN [ -z "$switch" ] || opam switch create "$switch"
## Install dependencies. `opam depext` installs (in a distribution independant
## way) first the non-opam dependencies that are required and then the OPAM
## packages.
RUN opam depext -i menhir yojson ppx_deriving_yojson visitors
## Work in /home/opam/morbig, copy all the file there with the right
## owner and group.
WORKDIR /home/opam/morbig
ADD . .
RUN sudo chown -R opam .
## Build Morbig
RUN opam exec -- make
## Set up the entry point of this Dockerfile to Morbig's binary that
## has just been built.
ENTRYPOINT [ "/home/opam/morbig/bin/morbig" ]
|
