Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.kernel > #60592
| From | Riku Voipio <riku.voipio@linaro.org> |
|---|---|
| Newsgroups | linux.debian.kernel |
| Subject | Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build |
| Date | 2018-03-28 11:20 +0200 |
| Message-ID | <vyfpn-1dK-9@gated-at.bofh.it> (permalink) |
| References | <vlzOV-5yW-9@gated-at.bofh.it> <vxTfc-20t-3@gated-at.bofh.it> <vxX97-4Qw-3@gated-at.bofh.it> <vxX97-4Qw-1@gated-at.bofh.it> <vxZ1f-66E-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On 27 March 2018 at 18:23, Masahiro Yamada <yamada.masahiro@socionext.com> wrote: > Riku, > > 2018-03-27 22:28 GMT+09:00 Riku Voipio <riku.voipio@linaro.org>: > >>> If I use GNU Make 4.2 >>> >>> $ cat deb_pkg_log.txt >>> MAKEFLAGS for deb-pkg: rR -I/home/masahiro/ref/linux -j8 >>> --jobserver-auth=3,4 --no-print-directory -- obj=scripts/package >>> MAKEFLAGS for mkdebian internal: rR -I/home/masahiro/ref/linux -j >>> --jobserver-fds=5,6 --no-print-directory -- obj=scripts/package >> >> I'll make a wild guess, and "outside" make is your 4.2 build while the >> intdeb-pkg ends up calling the make 4.0 that comes with your ubuntu? >> observe the --jobserver-auth vs ---jobsserver-fds arguments. >> > > Ah, you are right! > > > Probably this > >> >> -if [ "x$1" = "xdeb-pkg" ] >> -then >> - cat <<EOF > debian/rules >> -#!/usr/bin/make -f This is actually mandated in Debian policy: https://www.debian.org/doc/debian-policy/#main-building-script-debian-rules > So, if I type "make" from the command line, /home/masahiro/bin/make is chosen. > Then, the outer Makefile is executed by Make 4.2. > > But, due to the shebang '#!/usr/bin/make -f' > debian/rules is executed by older Make. > > Due to the incompatibility of MAKEFLAGS, Make went insane. > > Hmm, do you have an idea for solution? One option: +++ b/scripts/package/mkdebian cat <<EOF > debian/rules -#!/usr/bin/make -f #!$(which $MAKE) -f This will let people build with whatever make they please, with the price that the resulting source package will not build elsewhere. Option 2 is to error out if "which $MAKE" != /usr/bin/make > I would be possible to forcibly overwrite MAKEFLAGS I think one goal is to keep deb-pkg simple, and fudging MAKEFLAGS would go against that goal. Riku
Back to linux.debian.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
[PATCH v4] scripts/package/builddeb: split generating packaging and build riku.voipio@linaro.org - 2018-02-21 11:30 +0100
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Masahiro Yamada <yamada.masahiro@socionext.com> - 2018-03-27 11:40 +0200
Fwd: [PATCH v4] scripts/package/builddeb: split generating packaging and build Riku Voipio <riku.voipio@linaro.org> - 2018-03-27 15:50 +0200
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Masahiro Yamada <yamada.masahiro@socionext.com> - 2018-03-27 17:50 +0200
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Riku Voipio <riku.voipio@linaro.org> - 2018-03-28 11:20 +0200
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Ben Hutchings <ben@decadent.org.uk> - 2018-03-29 02:30 +0200
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Riku Voipio <riku.voipio@linaro.org> - 2018-03-29 10:00 +0200
Re: [PATCH v4] scripts/package/builddeb: split generating packaging and build Masahiro Yamada <yamada.masahiro@socionext.com> - 2018-04-05 07:00 +0200
csiph-web