merl-an benchmark

ocaml · Jun 27, 2023 · d0888d3 · d0888d3
1 parent 106156f
commit d0888d3
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -19,5 +19,7 @@ promote:
 	dune promote
 
 bench:
+	merl-an benchmark -p /projects/irmin -s 1 --data=merl-an_bench
+	jq . merl-an_bench/bench.json
 
 .PHONY: all build dev clean test promote bench
diff --git a/bench.Dockerfile b/bench.Dockerfile
@@ -7,3 +7,26 @@ 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
+RUN opam pin -y merl-an https://github.com/pitag-ha/merl-an.git
+
+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
+WORKDIR /projects/irmin
+RUN git checkout 8da4d16e7cc8beddfc8a824feca325426bae08a9
+RUN sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
+RUN opam install . --deps-only --with-test --no-checksums
+RUN opam exec -- dune build
+
+WORKDIR /app