From 039cd756d5b18fbdb6f510395222cd648f3f2bc8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 29 Mar 2023 16:20:51 +0200
Subject: [PATCH] fix spurious test-case failure when Python is not installed

Fixes #530.

* tests/core/ltlsynt2.test: Skip when PYTHON is empty.
* NEWS: Mention the fix.
---
 NEWS                     | 5 +++--
 tests/core/ltlsynt2.test | 4 +++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS
index 86fd461e1..e3de94172 100644
--- a/NEWS
+++ b/NEWS
@@ -17,9 +17,10 @@ New in spot 2.11.4.dev  (not yet released)
   - spot::bdd_to_cnf_formula() is a new variant of spot::bdd_to_formula()
     that converts a BDD into a CNF instead of a DNF.
 
-  Python:
+  Bug fixes:
 
-  - spot.acd() no longer depends on jQuery for interactivity.
+  - Fix spurious failure of ltlsynt2.test when Python is not installed
+    (issue #530).
 
 New in spot 2.11.4  (2023-02-10)
 
diff --git a/tests/core/ltlsynt2.test b/tests/core/ltlsynt2.test
index dbb754d92..546cb0d27 100755
--- a/tests/core/ltlsynt2.test
+++ b/tests/core/ltlsynt2.test
@@ -1,6 +1,6 @@
 #! /bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2022 Laboratoire de Recherche et Développement de
+# Copyright (C) 2022, 2023 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -36,6 +36,8 @@ ltlsynt --ins=i1,i2 -F formulas.ltl -f 'o1 & F(i1 <-> o2)' -q --csv=out.csv &&\
     exit 2
 test $? -eq 1 || exit 2
 
+test -z "$PYTHON" && exit 77
+
 cat >test.py <<EOF
 import sys
 try: