From 0c34152a337bd25f28ab514eeaf979a54edc44b4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 29 Mar 2023 17:01:13 +0200
Subject: [PATCH] correctly fails if emacs needed and missing

Fixes #528.

* configure.ac: Define EMACS using tools/missing.
* NEWS: Mention the bug.
---
 NEWS         | 3 +++
 configure.ac | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index e3de94172..37a8ebf88 100644
--- a/NEWS
+++ b/NEWS
@@ -22,6 +22,9 @@ New in spot 2.11.4.dev  (not yet released)
   - Fix spurious failure of ltlsynt2.test when Python is not installed
     (issue #530).
 
+  - Building from the git repository would fail to report a missing
+    emacs (issue #528).
+
 New in spot 2.11.4  (2023-02-10)
 
   Python:
diff --git a/configure.ac b/configure.ac
index e47e2eb29..772b4c24a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -217,7 +217,7 @@ AC_CHECK_PROG([LTL3BA], [ltl3ba], [ltl3ba])
 AC_CHECK_PROG([PERL], [perl], [perl])
 AC_CHECK_PROG([SPIN], [spin], [spin])
 AC_CHECK_PROG([LBTT], [lbtt], [lbtt])
-AC_CHECK_PROG([EMACS], [emacs], [emacs])
+AM_MISSING_PROG([EMACS], [emacs])
 AC_CHECK_PROGS([IPYTHON], [ipython3 ipython], [ipython])
 AC_CHECK_PROGS([JUPYTER], [jupyter], [jupyter])
 AC_CHECK_PROG([LBTT_TRANSLATE], [lbtt-translate], [lbtt-translate])