Commit ae36b34b authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

Trying to get "make opam" do the right thing with coq-menhirlib.

parent 774b232a
Pipeline #64077 passed with stages
in 20 seconds
......@@ -270,9 +270,16 @@ COQ_MENHIRLIB_PUBLISH_OPTIONS := \
.PHONY: opam
opam:
# Publish an opam description.
@ opam publish -v $(DATE) $(THIS) $(ARCHIVE) .
@ opam publish -v $(DATE) $(COQ_MENHIRLIB_PUBLISH_OPTIONS) $(THIS_COQ_MENHIRLIB) $(ARCHIVE) .
# Publish an opam description for menhir.
@ opam publish -v $(DATE) $(THIS).opam $(ARCHIVE)
# Publish an opam description for coq-menhirlib
# We first patch the opam file to add the strong dependency to the same version
# of opam
@ cp $(THIS_COQ_MENHIRLIB).opam $(THIS_COQ_MENHIRLIB).patched.opam
@ sed -i 's/"menhir" { = "dev" }/"menhir" { = "$(DATE)" }/g' $(THIS_COQ_MENHIRLIB).patched.opam
@ opam publish -v $(DATE) $(COQ_MENHIRLIB_PUBLISH_OPTIONS) $(THIS_COQ_MENHIRLIB).patched.opam $(ARCHIVE)
@ rm $(THIS_COQ_MENHIRLIB).patched.opam
# -------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment