From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id OOnON1t1DF8AYgAA0tVLHw (envelope-from ) for ; Mon, 13 Jul 2020 14:53:15 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id wOGsM1t1DF84GQAAB5/wlQ (envelope-from ) for ; Mon, 13 Jul 2020 14:53:15 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 2B2CB9400B1 for ; Mon, 13 Jul 2020 14:53:15 +0000 (UTC) Received: from localhost ([::1]:55570 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1juzpS-0006MN-3e for larch@yhetil.org; Mon, 13 Jul 2020 10:53:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59232) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1juzpH-0006M3-TH for bug-guix@gnu.org; Mon, 13 Jul 2020 10:53:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37494) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1juzpG-0006D3-JC for bug-guix@gnu.org; Mon, 13 Jul 2020 10:53:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1juzpG-0001Pg-IT for bug-guix@gnu.org; Mon, 13 Jul 2020 10:53:02 -0400 Subject: bug#42327: Offload build to Childhurd selects linux-libre-headers Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Mon, 13 Jul 2020 14:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 42327 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Jan Nieuwenhuizen Mail-Followup-To: 42327@debbugs.gnu.org, ludo@gnu.org, janneke@gnu.org Received: via spool by 42327-done@debbugs.gnu.org id=D42327.15946519315367 (code D ref 42327); Mon, 13 Jul 2020 14:53:02 +0000 Received: (at 42327-done) by debbugs.gnu.org; 13 Jul 2020 14:52:11 +0000 Received: from localhost ([127.0.0.1]:49039 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1juzoR-0001OV-9T for submit@debbugs.gnu.org; Mon, 13 Jul 2020 10:52:11 -0400 Received: from eggs.gnu.org ([209.51.188.92]:45022) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1juzoP-0001OG-A4 for 42327-done@debbugs.gnu.org; Mon, 13 Jul 2020 10:52:09 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:37497) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1juzoK-00063l-1L; Mon, 13 Jul 2020 10:52:04 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=35088 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1juzoJ-00086J-F9; Mon, 13 Jul 2020 10:52:03 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87tuydemnh.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 26 Messidor an 228 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Jul 2020 16:52:02 +0200 In-Reply-To: <87tuydemnh.fsf@gnu.org> (Jan Nieuwenhuizen's message of "Sun, 12 Jul 2020 00:01:54 +0200") Message-ID: <875zaro4bx.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 42327-done@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -1.01 X-TUID: ZdCuTq2HoGTr --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi! Jan Nieuwenhuizen skribis: > With static-bash-for-glibc, however, it goes off track > > $ ./pre-inst-env guix build --system=3Di586-gnu \ > -e '(@@ (gnu packages commencement) static-bash-for-glibc)' > The following derivations will be built: > /gnu/store/gv40jpz4g0hbia28wa6d50z9x6ncgdlh-bash-static-5.0.16.drv > /gnu/store/apj2ihazv6x3anhvfvmmqrkyak05p9yc-gcc-cross-boot0-wrapped-7.= 5.0.drv > /gnu/store/yfpy5b3xqkarxchyhi339fw2ldwczj1d-linux-libre-headers-5.4.20= .drv > > > ...oops! Note that a native build on the Childhurd works all the way up > to "hello". > > The "glibc-final-with-bootstrap-bash" has a propagated-inputs that looks > like this > > (define* (kernel-headers-boot0 #:optional (system (%current-system))) > (match system > ("i586-gnu" hurd-core-headers-boot0) > (_ linux-libre-headers-boot0))) > > (define glibc-final-with-bootstrap-bash > [..] > (propagated-inputs `(("kernel-headers" ,(kernel-headers-boot0)))) > [..]) > > In KERNEL-HEADERS-BOOT0, SYSTEM is "x86_64-linux". Passing SYSTEM from > a LET-SYSTEM clause (see attached patch) seems to fix this...but i'm > afraid that triggers a world rebuild. Our offload Childhurds can only > run master, right? Is there any way around this? Thoughts? Here=E2=80=99s my powerful debugging trick for such dynamic binding issues = (it=E2=80=99s not related to offloading): --=-=-= Content-Type: text/x-patch Content-Disposition: inline diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm index d0393ebe25..5ec7facd02 100644 --- a/gnu/packages/commencement.scm +++ b/gnu/packages/commencement.scm @@ -3116,6 +3116,9 @@ memoized as a function of '%current-system'." ,@(%boot0-inputs))))) (define* (kernel-headers-boot0 #:optional (system (%current-system))) + (when (string=? system "x86_64-linux") + (pk system) + (display-backtrace (make-stack #t) (current-error-port) #f 80)) (match system ("i586-gnu" hurd-core-headers-boot0) (_ linux-libre-headers-boot0))) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable That gives me this: --8<---------------cut here---------------start------------->8--- $ ./pre-inst-env guix build -s i586-gnu hello -d --no-grafts ;;; ("x86_64-linux") In ice-9/boot-9.scm: 1736:10 30 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type _) In unknown file: 29 (apply-smob/0 #) In ice-9/boot-9.scm: 718:2 28 (call-with-prompt _ _ #) In ice-9/eval.scm: 619:8 27 (_ #(#(#))) In guix/ui.scm: 1953:12 26 (run-guix-command _ . _) 663:2 25 (call-with-error-handling _) In ice-9/boot-9.scm: 1736:10 24 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type _) 1731:15 23 (with-exception-handler # _ #:unwind? _ # _) In guix/status.scm: 776:4 22 (call-with-status-report _ _) In ice-9/boot-9.scm: 1736:10 21 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type _) In guix/store.scm: 631:22 20 (thunk) 1299:8 19 (call-with-build-handler # =E2=80=A6) In guix/scripts/build.scm: 925:2 18 (_) In ice-9/boot-9.scm: 1731:15 17 (with-exception-handler # _ #:unwind? _ # _) 1736:10 16 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type _) In guix/ui.scm: 440:6 15 (_) In guix/scripts/build.scm: 927:5 14 (_) In srfi/srfi-1.scm: 673:15 13 (append-map # ("i586-gnu")) 586:17 12 (map1 ("i586-gnu")) In guix/scripts/build.scm: 929:20 11 (_ _) In guix/store.scm: 1340:2 10 (map/accumulate-builds #= _ _) In srfi/srfi-1.scm: 586:17 9 (map1 (#)) In guix/store.scm: 1299:8 8 (call-with-build-handler # _) In guix/scripts/build.scm: 888:18 7 (_ _) In guix/packages.scm: 1075:16 6 (package-derivation _ # _ #:graft? _) 1393:22 5 (thunk) 927:4 4 (bag->derivation # #< name: "hello-2.10" system: "i586-=E2=80=A6> =E2=80=A6) 812:23 3 (transitive-inputs _) In gnu/packages/commencement.scm: 3304:44 2 (propagated-inputs #) 3121:23 1 (kernel-headers-boot0 _) In unknown file: 0 (make-stack #t) --8<---------------cut here---------------end--------------->8--- At that point, it looks like a d=C3=A9j=C3=A0-vu to me. :-) Should be fixed with efb10f175fa6323024aa471c58ea1da445085298. Thanks, Ludo=E2=80=99. --=-=-=--