Skip to content

Commit

Permalink
Revert "Pin base to workaround Format_doc change"
Browse files Browse the repository at this point in the history
This reverts commit e2fa976.

The ocaml/ocaml#13336 PR restored backward compatibility for the
`Printtyp` module and the patch to `base` is no longer required.
  • Loading branch information
punchagan committed Aug 2, 2024
1 parent 6942edc commit 3500bd2
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -157,14 +157,6 @@ 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
@{ case "$*" in \
5.3.*) \
echo "Pinning base to fixed commit for Format_doc change"; \
opam pin add -n --yes --switch $* base.v0.17.0 https://github.com/ocaml-bench/base.git#fix-compat-format-doc;; \
*) echo "Nothing to do here" ;; \
esac };

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

0 comments on commit 3500bd2

Please sign in to comment.