From a5f080338c478bc60db781704957f1e51fb45228 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 16 Nov 2021 09:51:59 +0100
Subject: [PATCH] Python 3.5 is now needed

* NEWS, README, HACKING, doc/org/install.org, m4/pypath.m4: Adjust.
---
 HACKING             | 2 +-
 NEWS                | 2 +-
 README              | 2 +-
 doc/org/install.org | 2 +-
 m4/pypath.m4        | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/HACKING b/HACKING
index 67c1752d7..8841b033c 100644
--- a/HACKING
+++ b/HACKING
@@ -42,7 +42,7 @@ since the generated files they produce are distributed.)
   A complete LaTeX distribution, including latexmk and extra fonts
     like dsfont.sty.
   ImageMagick
-  Python >= 3.3, IPython >= 2.3
+  Python >= 3.5, IPython >= 2.3
   Jupyter >= 4, with nbconvert
   GraphViz
   Java >= 1.7 (needed to run PlantUML while generating the doc)
diff --git a/NEWS b/NEWS
index 0302db8a6..f9c65be17 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 New in spot 2.10.0.dev  (not released yet)
 
-  Nothing yet.
+  - Python 3.5 is now required.
 
 New in spot 2.10  (2021-11-13)
 
diff --git a/README b/README
index 6a428e6b1..836bc51b0 100644
--- a/README
+++ b/README
@@ -76,7 +76,7 @@ Requirements
 Spot requires a C++17-compliant compiler.  G++ 7.x or later, as well
 as Clang++ 5.0 or later should work.
 
-Spot expects a complete installation of Python (version 3.3 or later).
+Spot expects a complete installation of Python (version 3.5 or later).
 Especially, Python's headers files should be installed.  If you don't
 have Python installed, and do NOT want to install it, you should run
 configure with the --disable-python option (see below).
diff --git a/doc/org/install.org b/doc/org/install.org
index f789df8ab..6f00b3fe4 100644
--- a/doc/org/install.org
+++ b/doc/org/install.org
@@ -22,7 +22,7 @@ successful development build]].
 Spot requires a C++17-compliant compiler.  =g++= 7.0 or later, as well
 as =clang++= 5.0 or later should work.
 
-Spot expects a complete installation of Python (version 3.3 or later).
+Spot expects a complete installation of Python (version 3.5 or later).
 Especially, Python's headers files should be installed (the package to
 install has a name like =python-dev= or =libpython3-dev= in most
 distributions).  If you don't have Python installed, and do NOT want
diff --git a/m4/pypath.m4 b/m4/pypath.m4
index c1823c1fd..61a9921bd 100644
--- a/m4/pypath.m4
+++ b/m4/pypath.m4
@@ -1,5 +1,5 @@
 AC_DEFUN([adl_CHECK_PYTHON],
- [AM_PATH_PYTHON([3.3])
+ [AM_PATH_PYTHON([3.5])
   case $PYTHON in
     [[\\/$]]* | ?:[[\\/]]* );;
     *) AC_MSG_ERROR([The PYTHON variable must be set to an absolute filename.]);;