Closed art-w closed 2 years ago
In order to run the irmin benchmarks on the raspberry pi 4, we need to skip the installation of libirmin.opam (which disables arm64)... so we must only install the irmin-bench.opam and its dependencies, not everything.
libirmin.opam
irmin-bench.opam
Looks good to me! :) thanks @art-w.
In order to run the irmin benchmarks on the raspberry pi 4, we need to skip the installation of
libirmin.opam
(which disables arm64)... so we must only install theirmin-bench.opam
and its dependencies, not everything.