From f3305dc75e1949983842d2b398387582d016a971 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Tue, 4 Jun 2024 13:52:20 +0530 Subject: [PATCH] Pin base to workaround Format_doc change --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index f088cf74b..857273968 100644 --- 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 = $*)