File tree 2 files changed +10
-4
lines changed
2 files changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ promote:
19
19
dune promote
20
20
21
21
bench :
22
- merl-an benchmark -p /projects/irmin -s 1 --data=merl-an_bench
22
+ merl-an benchmark -p /projects/irmin,/projects/big-bertha -s 1 --data=merl-an_bench
23
23
echo " Top 10 slowest queries:"
24
24
jq -s " [ (map(.sample_id |= tostring)) + (map(.sample_id |= tostring)) | group_by(.sample_id)[] | select(length > 1) | add ] | sort_by( .responses[0].timing.clock) | reverse | .[:10]" merl-an_bench/query_responses.json merl-an_bench/commands.json
25
25
echo " Benchmark result:"
Original file line number Diff line number Diff line change @@ -25,11 +25,17 @@ WORKDIR /projects
25
25
26
26
# build irmin
27
27
RUN git clone https://github.com/mirage/irmin.git
28
- WORKDIR /projects/irmin
29
- RUN sudo rm -rf examples/ test/
30
- RUN git checkout 421c09fa57784f155a3d6ad23e0ecc2c9cd0a352
31
28
RUN sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
32
29
RUN opam switch import /app/bench/irmin.opam.export --no-checksums
30
+ WORKDIR /projects/irmin
31
+ RUN git checkout 421c09fa57784f155a3d6ad23e0ecc2c9cd0a352
32
+ RUN sudo rm -rf examples/ test/
33
+ RUN opam exec -- dune build
34
+
35
+ # build big-bertha
36
+ WORKDIR /projects
37
+ RUN git clone https://github.com/xvw/big-bertha.git
38
+ WORKDIR /projects/big-bertha
33
39
RUN opam exec -- dune build
34
40
35
41
WORKDIR /app
You can’t perform that action at this time.
0 commit comments