alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

release Spot 2.12.1

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Update.
This commit is contained in:
Alexandre Duret-Lutz 2024-09-23 12:04:28 +02:00
parent c92418b51c
commit b63f16060a
3 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
NEWS
View file

@ -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: Bug fixes:
@ -12,6 +12,11 @@ New in spot 2.12.0.dev (not yet released)
- "ltlsynt ... --print-game --dot=ARGS" was ignoring ARGS. - "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) New in spot 2.12 (2024-05-16)
Build: Build:

2
configure.ac
View file

@ -17,7 +17,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>. # along with this program. If not, see <http://www.gnu.org/licenses/>.
AC_PREREQ([2.69]) 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_AUX_DIR([tools])
AC_CONFIG_MACRO_DIR([m4]) AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])

4
doc/org/setup.org
View file

@ -1,11 +1,11 @@
#+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: LASTDATE 2024-05-14 #+MACRO: LASTDATE 2024-09-23
#+NAME: SPOT_VERSION #+NAME: SPOT_VERSION
#+BEGIN_SRC python :exports none :results value :wrap org #+BEGIN_SRC python :exports none :results value :wrap org
return "2.12" return "2.12.1"
#+END_SRC #+END_SRC
#+NAME: TARBALL_LINK #+NAME: TARBALL_LINK