added Makefile

ekalinin · Jul 21, 2020 · e231520 · e231520
1 parent 5750977
commit e231520
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,16 @@
+VERSION=
+
+check-version:
+ifndef VERSION
+$(error VERSION is not set)
+endif
+
+check-master:
+ifneq ($(shell git rev-parse --abbrev-ref HEAD),master)
+$(error Not on branch master)
+endif
+
+release: check-version check-master
+	git tag v${VERSION} && \
+	git push origin v${VERSION}
+