[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: src/Makefile unhelpful
From: |
Gregory Heytings |
Subject: |
Re: src/Makefile unhelpful |
Date: |
Wed, 14 Sep 2022 20:47:08 +0000 |
I looked into this earlier -- I wanted it to say something like
"Consider trying "make bootstrap"" (because that'd save people a lot of
time -- reporting the build problem, only to have somebody say that to
them over mail), but I was unable to find a way to make (GNU) Make say
anything in particular on make failures.
But this was a couple of years ago, and perhaps Make has grown this
capability now? Or I just missed it while reading the Make manual?
Anybody know?
Does the following do what you want?
diff --git a/Makefile.in b/Makefile.in
index d288bacb9d..67f19e7abd 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -366,6 +366,12 @@ ELN_DESTDIR =
gsettings_SCHEMAS = etc/org.gnu.emacs.defaults.gschema.xml
+default:
+ $(MAKE) all || $(MAKE) signal_error
+
+signal_error:
+ @echo -e "\nConsider trying \"make bootstrap\"\n"
+
all: ${SUBDIR} info $(gsettings_SCHEMAS:.xml=.valid)
src-depending-on-lisp
.PHONY: all ${SUBDIR} blessmail epaths-force epaths-force-w32
epaths-force-ns-self-contained etc-emacsver
- Re: src/Makefile unhelpful, (continued)
- Re: src/Makefile unhelpful, Richard Stallman, 2022/09/10
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/11
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/11
- Re: src/Makefile unhelpful, Po Lu, 2022/09/11
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/11
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/11
- Re: src/Makefile unhelpful, Richard Stallman, 2022/09/13
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/13
- Re: src/Makefile unhelpful, Alfred M. Szmidt, 2022/09/14
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/14
- Re: src/Makefile unhelpful,
Gregory Heytings <=
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/15
- Re: src/Makefile unhelpful, Óscar Fuentes, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/17
- Re: src/Makefile unhelpful, Alan Mackenzie, 2022/09/17
- Re: src/Makefile unhelpful, Michael Welsh Duggan, 2022/09/17