[Guile-commits] 02/03: maint: Abort 'make dist' when Readline support is missing.

[Ludovic Courtès]

civodul pushed a commit to branch main
in repository guile.

commit 2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Mon Jan 23 11:58:52 2023 +0100

    maint: Abort 'make dist' when Readline support is missing.
    
    Reported by Greg Troxel <gdt@lexort.com>.
    
    * Makefile.am (ensure-guile-readline): New target.
    (dist-hook): Depend on it.
---
 Makefile.am | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index e59990838..57a2d5f7e 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -93,7 +93,20 @@ DISTCLEANFILES = check-guile.log
 
 DISTCHECK_CONFIGURE_FLAGS = --enable-error-on-warning --enable-mini-gmp
 
-dist-hook: gen-ChangeLog gen-tarball-version assert-no-store-file-names
+dist-hook: gen-ChangeLog gen-tarball-version           \
+  assert-no-store-file-names ensure-guile-readline
+
+# 'guile-readline/Makefile.am' conditionally includes various files to
+# the distribution.  Bail out when 'HAVE_READLINE' is false.
+if HAVE_READLINE
+ensure-guile-readline:
+       @true
+else !HAVE_READLINE
+ensure-guile-readline:
+       @echo "error: Readline support is required for 'make dist'." >&2
+       @exit 1
+endif !HAVE_READLINE
+.PHONY: ensure-guile-readline
 
 clean-local:
        rm -rf cache/