Skip to content

Commit

Permalink
Pin base to workaround Format_doc change
Browse files Browse the repository at this point in the history
  • Loading branch information
punchagan committed Jun 4, 2024
1 parent 5b97f1f commit 7541d7f
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -157,6 +157,9 @@ 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
opam pin add -n --yes --switch $* base https://github.com/ocaml-bench/base.git#fix-compat-format-doc

override_packages/%: setup_sys_dune/%
$(eval CONFIG_SWITCH_NAME = $*)
Expand Down

0 comments on commit 7541d7f

Please sign in to comment.