From 0800b4d5e69e9c78902af6c9a5007ca5e1d275ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sat, 11 Feb 2023 19:39:35 +0100
Subject: [PATCH] Release 0.1.6

---
 CHANGES  |  3 +++
 Makefile | 12 ++++++++++++
 2 files changed, 15 insertions(+)

diff --git a/CHANGES b/CHANGES
index b1d3250..db09000 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+## Release 0.1.6 ##
+  - use pkg-config for finding gmp and mpfr
+
 ## Release 0.1.3 ##
 
   - fixes compilation on ocaml < 4.13
diff --git a/Makefile b/Makefile
index c4ceff5..96f96b2 100644
--- a/Makefile
+++ b/Makefile
@@ -6,3 +6,15 @@ test:
 
 opam:
 	dune build --root . *.opam
+
+DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES | perl -pe 's/\n/\\n/')"
+
+release:
+	@echo -n $(DESCRIPTION)
+	@echo "Is the CHANGES correct for $(TAG) (y/n)?"
+	@read yesno; test "$$yesno" = y
+	dune-release tag $(TAG)
+	dune-release distrib --skip-build --skip-lint
+	dune-release publish
+	dune-release opam pkg
+	dune-release opam submit