mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
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.
This commit is contained in:
parent
181f7ee4a7
commit
2e1ba78c30
1 changed files with 14 additions and 1 deletions
15
Makefile.am
15
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/
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue