From 234562ee02fe92a9bd97a3ad000933f44807ce7e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 12 Jan 2014 12:13:19 +0100 Subject: [PATCH] isl 0.12.2 Signed-off-by: Sven Verdoolaege --- ChangeLog | 6 ++++++ configure.ac | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index a3bc8599..deede8e8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +version: 0.12.2 +date: Sun Jan 12 12:09:46 CET 2014 +changes: + - MinGW-w64 build fix + - fix simplification bug +--- version: 0.12.1 date: Wed Jul 24 12:54:46 CEST 2013 changes: diff --git a/configure.ac b/configure.ac index 437146dd..e7c10d0c 100644 --- a/configure.ac +++ b/configure.ac @@ -1,10 +1,10 @@ -AC_INIT([isl], [0.12.1], [isl-development@googlegroups.com]) +AC_INIT([isl], [0.12.2], [isl-development@googlegroups.com]) AC_CONFIG_AUX_DIR([.]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([foreign]) m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])]) AC_SUBST(versioninfo) -versioninfo=12:1:2 +versioninfo=12:2:2 if test "x$prefix" != "xNONE"; then prefix_wd=`cd $prefix && pwd` -- 2.11.4.GIT