Commit 9026bde7 authored by POTTIER Francois's avatar POTTIER Francois

Modify [make opam] to copy the file opam from Menhir's repo to opam's repo.

parent 72e3525c
...@@ -239,6 +239,8 @@ opam: ...@@ -239,6 +239,8 @@ opam:
rm url && \ rm url && \
echo 'archive: "http://gallium.inria.fr/~fpottier/menhir/menhir-$(DATE).tar.gz"' >> url && \ echo 'archive: "http://gallium.inria.fr/~fpottier/menhir/menhir-$(DATE).tar.gz"' >> url && \
echo 'checksum: "$(CSUM)"' >> url echo 'checksum: "$(CSUM)"' >> url
# Copy the file "opam" from Menhir's repository to opam's.
@ cp -f opam $(OPAM)/packages/menhir/menhir.$(DATE)
# Prepare a commit. # Prepare a commit.
@ echo "Preparing a new commit..." @ echo "Preparing a new commit..."
@ cd $(OPAM)/packages/menhir && \ @ cd $(OPAM)/packages/menhir && \
......
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