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

correctly fails if emacs needed and missing

Browse source 
Fixes #528.

* configure.ac: Define EMACS using tools/missing.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2023-03-29 17:01:13 +02:00
parent 646b6e546f
commit 0c8093eded
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -5,6 +5,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:

2
configure.ac
View file

@ -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])