-
Notifications
You must be signed in to change notification settings - Fork 241
/
Copy pathbench.Dockerfile
41 lines (32 loc) · 1.13 KB
/
bench.Dockerfile
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
FROM ocaml/opam:ubuntu-20.04-ocaml-5.3
WORKDIR /app
RUN sudo apt-get update
RUN sudo apt-get -y install jq
COPY . .
RUN sudo chown -R opam /app
RUN eval $(opam env)
# install merlin
RUN opam install .
# install merl-an
## cache workaround: https://github.com/ocurrent/current-bench/issues/468#issuecomment-1621030354
ADD https://api.github.com/repos/xvw/merl-an/git/refs/heads/merl-an-530 .merl-an-info
RUN opam pin -y merl-an https://github.com/xvw/merl-an.git#344a079bf502f27e9269498db9ed5369753f2ddb
RUN eval $(opam env)
# create directory for projects to run benchmarks on
RUN sudo mkdir /projects
RUN sudo chown opam /projects
WORKDIR /projects
# build irmin
RUN git clone https://github.com/mirage/irmin.git
RUN sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
RUN opam switch import /app/bench/irmin.opam.export --no-checksums
WORKDIR /projects/irmin
RUN git checkout 421c09fa57784f155a3d6ad23e0ecc2c9cd0a352
RUN sudo rm -rf examples/ test/
RUN opam exec -- dune build
# build big-bertha
WORKDIR /projects
RUN git clone https://github.com/xvw/big-bertha.git
WORKDIR /projects/big-bertha
RUN opam exec -- dune build
WORKDIR /app