From 04d10c271198042e72dd87c57ee6b4c515745695 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 3 Feb 2018 15:38:47 -0600
Subject: [PATCH] makefile help

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1d9c7cb6..e925f098 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ build:
 	jbuilder build @install
 
 test: build
-	jbuilder runtest --no-buffer
+	jbuilder runtest --no-buffer --force
 
 clean:
 	jbuilder clean
@@ -28,6 +28,12 @@ update_next_tag:
 	sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
 	sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
 
+release: update_next_tag
+	@echo "release version $(VERSION)..."
+	git tag -f $(VERSION) ; git push origin :$(VERSION) ; git push origin $(VERSION)
+	opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
+	@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"
+
 watch:
 	while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
 		echo "============ at `date` ==========" ; \