Complexify the type system to support rank-1 polymorphic types and terms.

[haskell/symantic.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 00c19df884414f7bc825391e3e3c2bac285c4a7b..d59a873d304e2f1d8b05cdf4b083b1b51ef8d9a7 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -13,7 +13,15 @@ test: $(PKGS:=/test)
 
 clean: $(PKGS:=/clean)
 %/clean:
-       cd $*; stack $(STACK_FLAGS) clean
+       cd $*; stack $(STACK_FLAGS) clean --full
+
+tag: $(PKGS:=/tag)
+%/tag:
+       cabal=$*/$*.cabal; \
+       name=$$(sed -ne 's/^name: *\(.*\)/\1/p' "$$cabal"); \
+       version=$$(sed -ne 's/^version: *\(.*\)/\1/p' "$$cabal"); \
+       git tag --merged | grep -Fqx "$$name-$$version" || \
+       git tag -f -s -m "$$name v$$version" $$name-$$version
 
 .PHONY: stats
 stats: