Commit 8f1610ec authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

No need to pass the archive to opam publish.

parent ae36b34b
Pipeline #64080 passed with stages
in 25 seconds
......@@ -271,14 +271,14 @@ COQ_MENHIRLIB_PUBLISH_OPTIONS := \
.PHONY: opam
# Publish an opam description for menhir.
@ opam publish -v $(DATE) $(THIS).opam $(ARCHIVE)
@ opam publish -v $(DATE) $(THIS).opam
# 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
@ 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