Pin base to workaround Format_doc change

punchagan · Jun 4, 2024 · f3305dc · f3305dc
1 parent 5b97f1f
commit f3305dc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -157,6 +157,11 @@ endif
 	opam pin add -n --yes --switch $* ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz
 	opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
 	opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
+	# TODO remove when a new version of base is released on opam
+	# See https://github.com/ocaml-bench/sandmark/issues/470
+ifeq (5.3, $*)
+	opam pin add -n --yes --switch $* base.v0.17.0 https://github.com/ocaml-bench/base.git#fix-compat-format-doc
+endif
 
 override_packages/%: setup_sys_dune/%
 	$(eval CONFIG_SWITCH_NAME = $*)