[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configur
From: |
Eli Zaretskii |
Subject: |
Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
Date: |
Mon, 19 Sep 2022 17:20:08 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: larsi@gnus.org, monnier@iro.umontreal.ca, stefan@marxist.se,
> gregory@heytings.org, emacs-devel@gnu.org
> Date: Mon, 19 Sep 2022 22:14:11 +0800
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > No, "bootstrap" means just that: build a program when some components
> > needed for the build are missing. Thus, "bootstrap" is not
> > necessarily supposed to make sense when those components are present.
> >
> > We are actually using "bootstrap" in a different role: as a build from
> > a clean tree. (And when you actually build a fresh checkout, it is
> > nowadays unnecessary to say "make bootstrap", as GNUmakefile does TRT
> > in that case if you just say "make".)
> >
> > So maybe we should repurpose "bootstrap", and rename it while at that,
> > to something like "clean-build" or somesuch.
>
> Hmm, but in that case, what target should be used to resolve incremental
> build failures?
That's what we (mistakenly) call "bootstrap". If it doesn't clean
well enough, its clean stage should be improved.
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., (continued)
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Stefan Monnier, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Po Lu, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Lars Ingebrigtsen, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Po Lu, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Stefan Monnier, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Lars Ingebrigtsen, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Po Lu, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Eli Zaretskii, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Po Lu, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice.,
Eli Zaretskii <=
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Eli Zaretskii, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Eli Zaretskii, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gerd Möllmann, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Stefan Monnier, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Gregory Heytings, 2022/09/19
- Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice., Lars Ingebrigtsen, 2022/09/19