From 94f6386766872ad59bba93aa3d864d1807c4e050 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Min=C3=A9?= <antoine.mine@lip6.fr>
Date: Fri, 7 Jun 2024 17:28:47 +0200
Subject: [PATCH] preparation for 0.9.15 release

---
 Changes    | 13 +++++++++++++
 version.mk |  2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/Changes b/Changes
index 594aa14..1e2d927 100644
--- a/Changes
+++ b/Changes
@@ -1,3 +1,16 @@
+Version 0.9.15
+
+- BREAKING CHANGE FOR OCAML: remove polymorphic compare functions and renamed compare functions that do not implement a total order, documentation clarification (#108)
+
+- Autodetect library in configure for Mac ARM with Homebrew (#107)
+
+- Support for PPLite 0.12 [Michele Spotti, Enea Zaffanella]] (#105)
+
+- Disable PPL and PPLite when no C++ compielr is detected (#104)
+
+- Various fixes (#101, #97, #90)
+
+
 Version 0.9.14
 
 - Add support for PPLite 0.11 polyhedra library [Enea Zaffanella] (#71)
diff --git a/version.mk b/version.mk
index a2fde5b..340b480 100644
--- a/version.mk
+++ b/version.mk
@@ -1,7 +1,7 @@
 # bump here at each release
 VERSION_MAJOR = 0
 VERSION_MINOR = 9
-VERSION_MICRO = 14
+VERSION_MICRO = 15
 
 # automatically generated
 VERSION_STR = "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_MICRO}"