[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: src/Makefile unhelpful
From: |
Lars Ingebrigtsen |
Subject: |
Re: src/Makefile unhelpful |
Date: |
Thu, 15 Sep 2022 09:14:39 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Gregory Heytings <gregory@heytings.org> writes:
> 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
Oh, wow, I didn't even consider doing it this way... But, yes, that'd
work, I think? (Except that we should call that rule "all" instead of
"default", since that's the general convention.)
- Re: src/Makefile unhelpful, (continued)
- 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, 2022/09/14
- Re: src/Makefile unhelpful,
Lars Ingebrigtsen <=
- 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
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/17