From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id QE48Df/lRWGvhAAAgWs5BA (envelope-from ) for ; Sat, 18 Sep 2021 15:13:35 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id YEq7CP/lRWE/fwAAbx9fmQ (envelope-from ) for ; Sat, 18 Sep 2021 13:13:35 +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 B8F8B7401 for ; Sat, 18 Sep 2021 15:13:34 +0200 (CEST) Received: from localhost ([::1]:35704 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mRa9t-0001Tq-Qb for larch@yhetil.org; Sat, 18 Sep 2021 09:13:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42578) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mRa9k-0001ST-1Z for guix-devel@gnu.org; Sat, 18 Sep 2021 09:13:24 -0400 Received: from xavier.telenet-ops.be ([2a02:1800:120:4::f00:14]:45504) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mRa9i-0000vW-4Q for guix-devel@gnu.org; Sat, 18 Sep 2021 09:13:23 -0400 Received: from butterfly.local ([213.119.235.61]) by xavier.telenet-ops.be with bizsmtp id vRDJ2500F1L9TAD01RDJFx; Sat, 18 Sep 2021 15:13:19 +0200 Message-ID: <3ff2a59877b5c061eea7750bf7ad87aeaeee9e12.camel@telenet.be> Subject: Re: How to solve "abiI-check: recompilation needed" From: Maxime Devos To: Maxim Cournoyer , Ricardo Wurmus Date: Sat, 18 Sep 2021 15:13:17 +0200 In-Reply-To: <87fsu3m0ku.fsf@gmail.com> References: <0796c4bf-c8e8-34a4-b7ce-5a537492c32b@crazy-compilers.com> <87wnngob0a.fsf@elephly.net> <87fsu3m0ku.fsf@gmail.com> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-ryE8+fSl2dm4MmMkTarJ" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1631970799; bh=lwg+JL24yKlOOh4YMENweAsgKeCiogHVhjja8L/o8Sg=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=OhDDeX2C+E0ZtXOKxNKqdkmSdq0JuPtSg/moJNA+bPxNq9UfQryDs5p0YBb/fXfSD rT9+IUK6OpWZiqb4yqjjGC03xk4Yq5pS78lRL/ZmNA7w0vWRfP3KmNyQMbOOcFdd3t qr39+mXcMqONalT28Id3utSxat6HdPxJXByJUnuxZu/lLNqxbqvq5ZegjiX+pDA8Rw 45QKRhgQvi2yCK/QF/VpM19t4Ir+/VCOSzLBCeA3vvw+OAHbTBmj6m2uB6PTM6ypek 6krIMO42MOkR5rygpzLf5Bu0l1LWtGntQ2X6IrEjHA7y7U+ijedB163no5K7zJVATm buxfVETd5jc7w== Received-SPF: pass client-ip=2a02:1800:120:4::f00:14; envelope-from=maximedevos@telenet.be; helo=xavier.telenet-ops.be X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1631970814; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=lwg+JL24yKlOOh4YMENweAsgKeCiogHVhjja8L/o8Sg=; b=clcM09NDTlxoNBzm5Ejb6vLVyyfAxTUTVHNTbnYMp4oJlg62HrqjNxRUCfyHr1AjfQwOw0 7eG28ujED2mygtH6GZ5K6tUzVgoBAvymxKIC7mK+w//OD+ubuD2ZEXUNhrmue8haeLTQPw JdZP10XWqzx0HUD4jrQuDdAtgdWrPhSSTHZOu8T9sqS54DF/aSbpMfKurkzNQWrkdpDATd 1bpQ7WbhchYcKLnAysiGCjHM1Qh0g8oRG/sDmM7LOCfJTf/lLtMUzo5Uece9Tlyr7/eO5h FUEFheEkTZt9Sl+sXzTyuFi0CgnHnjANQ2+ouSgbBrSV82vVdwC44QH5+9i2rw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1631970814; a=rsa-sha256; cv=none; b=X1DlTHdtomAfjyVsee+qZLR0Bq9JrpV58L3vh6Qy7IjptF0uyeXrRb/2yumnAFFthPcvKC /1S5ztX0xZtntZUuGGHJ57VifZoLXG0e3ohH4WJ7kBLWobg4IVShWPJbGv6u8T2RFZY9VB vs9W1wegpn65Zk4FRamFWuTRhbglIRRQ1yTQGixl8FkWfzxe5b5JxBpgimO3m11otdX7kR PPOOH5CALauqUV5EqTJdZUz1BFfo+vxlxOVSmj9VH2jfPpe1w1K5b4hOGZ5tjfurotq2rD cur3OvFMg8mOB8pok83KrvvjXf9Uf3OzVUBcYyxwxQFpRv51LnCrDxuBxXmeWg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r21 header.b=OhDDeX2C; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -3.69 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r21 header.b=OhDDeX2C; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: B8F8B7401 X-Spam-Score: -3.69 X-Migadu-Scanner: scn0.migadu.com X-TUID: LHmPYVdmFZaa --=-ryE8+fSl2dm4MmMkTarJ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Maxim Cournoyer schreef op vr 17-09-2021 om 16:03 [-0400]: > Hello, >=20 > Ricardo Wurmus writes: >=20 > > Hartmut Goebel writes: > >=20 > > > Hi, > > >=20 > > > quite often, after "git pull" I'm facing this error when running > > > "make-make-go": > > >=20 > > > $ make make-go > > > Compiling Scheme modules... > > > Compiling Scheme modules... > > > [ 69%] LOAD gnu/packages/admin.scm > > > error: failed to load 'gnu/packages/check.scm': > > > ice-9/eval.scm:293:34: In procedure abi-check: # > > >: record ABI mismatch; recompilation needed > > > make: *** [Makefile:7096: make-packages-go] Fehler 1 > > >=20 > > > How can I solve this, without removing and rebulding *all* files - > > > which is time consuming and a waste of electric power. > >=20 > > You need to rebuild all users of the modified record types. I don=E2= =80=99t > > know if you can easily figure out which files these are. > >=20 > > The suggested fix is in fact to rebuild all go files, i.e. =E2=80=9Cmak= e > > clean-go=E2=80=9D and then =E2=80=9Cmake -j=E2=80=9D. >=20 > For this example, there's no good way as 'package' is used in a majority > of the Guile modules. It it had been something more specific, such as > the record, you could have gotten away with: >=20 > $ git grep -l bootloader-configuration | grep '.scm' \ > | sed 's/.scm/.go/' | xargs rm >=20 > $ make >=20 > Which I often though to save recompilation time. The =E2=80=98dependency tracking=E2=80=98 patch in could be adapted to let all source files using the =E2=80=98package=E2=80= =99 macro depend on guix/packages.scm. Likewise for origin records and other records. Greetings, Maxime. --=-ryE8+fSl2dm4MmMkTarJ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYUXl7RccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7uBeAQCUxWyuM/wEtHHs0Uc66I1MTQAI okJNHscbkSqtRBI+GQEA0zbcaI59F+Aveu4OFH5LIuHw2ER2q5f4Xy5QIpxxPQA= =fN3T -----END PGP SIGNATURE----- --=-ryE8+fSl2dm4MmMkTarJ--