Commit c8f13ec9 authored by POTTIER Francois's avatar POTTIER Francois

Additions to GNUmakefile.

parent 78f29ebe
......@@ -5,7 +5,7 @@
SHELL := bash
export CDPATH=
.PHONY: package export tag opam pin unpin
.PHONY: package export tag opam submit pin unpin
# -------------------------------------------------------------------------
......@@ -62,9 +62,19 @@ export:
# This entry assumes that "make package" and "make export"
# have just been run (on the same day).
# You need opam-publish:
# sudo apt-get install libssl-dev
# opam install tls opam-publish
# The following command should have been run once:
# opam-publish repo add opam-coq-archive coq/opam-coq-archive
opam:
@ opam-publish prepare $(PROJECT).$(DATE) $(ARCHIVE)
submit:
@ opam-publish submit --repo opam-coq-archive $(PROJECT).$(DATE)
# -------------------------------------------------------------------------
# Pinning.
......
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