From 2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Mon, 23 Jan 2023 11:58:52 +0100 Subject: maint: Abort 'make dist' when Readline support is missing. Reported by Greg Troxel . * 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/ -- cgit v1.2.1