From b63f16060ab9c9437bcd15cb704fecb71eec8978 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 23 Sep 2024 12:04:28 +0200 Subject: [PATCH] release Spot 2.12.1 * NEWS, configure.ac, doc/org/setup.org: Update. --- NEWS | 7 ++++++- configure.ac | 2 +- doc/org/setup.org | 4 ++-- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index c1045dcca..329cc51ad 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.12.0.dev (not yet released) +New in spot 2.12.1 (2024-09-23) Bug fixes: @@ -12,6 +12,11 @@ New in spot 2.12.0.dev (not yet released) - "ltlsynt ... --print-game --dot=ARGS" was ignoring ARGS. + - Work around various warnings from g++14. + + - Improved handling of spot-extra/ directory with newer Swig + versions. Necessary to recompile Seminator 2 with Swig 4. + New in spot 2.12 (2024-05-16) Build: diff --git a/configure.ac b/configure.ac index e85feb8cf..9f229582b 100644 --- a/configure.ac +++ b/configure.ac @@ -17,7 +17,7 @@ # along with this program. If not, see . AC_PREREQ([2.69]) -AC_INIT([spot], [2.12.0.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.12.1], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) diff --git a/doc/org/setup.org b/doc/org/setup.org index 440dcfa00..d8f8f2a3e 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,11 +1,11 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: LASTDATE 2024-05-14 +#+MACRO: LASTDATE 2024-09-23 #+NAME: SPOT_VERSION #+BEGIN_SRC python :exports none :results value :wrap org -return "2.12" +return "2.12.1" #+END_SRC #+NAME: TARBALL_LINK