Commit 67b9845e authored by POTTIER Francois's avatar POTTIER Francois

GNUmakefile fixes.

parent c8f13ec9
......@@ -5,7 +5,7 @@
SHELL := bash
export CDPATH=
.PHONY: package export tag opam submit pin unpin
.PHONY: package export opam submit pin unpin
# -------------------------------------------------------------------------
......@@ -19,8 +19,10 @@ include Makefile
# unless DATE is defined on the command line.
DATE := $(shell /bin/date +%Y%m%d)
# The project name.
# The project name on gitlab.
PROJECT := cfml
# The opam package name.
PACKAGE := coq-$(PROJECT)
# The repository URL (https).
REPO := https://gitlab.inria.fr/charguer/$(PROJECT)
# The archive URL (https).
......@@ -70,17 +72,17 @@ export:
# opam-publish repo add opam-coq-archive coq/opam-coq-archive
opam:
@ opam-publish prepare $(PROJECT).$(DATE) $(ARCHIVE)
@ opam-publish prepare $(PACKAGE).$(DATE) $(ARCHIVE)
submit:
@ opam-publish submit --repo opam-coq-archive $(PROJECT).$(DATE)
@ opam-publish submit --repo opam-coq-archive $(PACKAGE).$(DATE)
# -------------------------------------------------------------------------
# Pinning.
pin:
opam pin add $(PROJECT) `pwd` -k git
opam pin add $(PACKAGE) `pwd` -k git
unpin:
opam pin remove $(PROJECT)
opam pin remove $(PACKAGE)
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