diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 11:58:52 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-23 12:00:40 +0100 |
| commit | 2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388 (patch) | |
| tree | bcd35240b0862df4961f5cf1ee09aba12f03a77c | |
| parent | 181f7ee4a7b1e80605fb8438e96a796d5830464d (diff) | |
| download | guile-2e1ba78c3019ede8f8ae7eaf1a740d9fd8dcf388.tar.gz | |
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.
| -rw-r--r-- | Makefile.am | 15 |
1 files changed, 14 insertions, 1 deletions
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/ |