From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 7LqcG6/0RGEdYwAAgWs5BA (envelope-from ) for ; Fri, 17 Sep 2021 22:03:59 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id GPqfFq/0RGHHfQAA1q6Kng (envelope-from ) for ; Fri, 17 Sep 2021 20:03:59 +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 E62ED1F501 for ; Fri, 17 Sep 2021 22:03:58 +0200 (CEST) Received: from localhost ([::1]:43562 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mRK5V-0006J2-Ub for larch@yhetil.org; Fri, 17 Sep 2021 16:03:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55672) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mRK5B-0006Id-JO for guix-devel@gnu.org; Fri, 17 Sep 2021 16:03:38 -0400 Received: from mail-qk1-x72b.google.com ([2607:f8b0:4864:20::72b]:45798) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mRK57-0001uV-81 for guix-devel@gnu.org; Fri, 17 Sep 2021 16:03:37 -0400 Received: by mail-qk1-x72b.google.com with SMTP id a10so21067475qka.12 for ; Fri, 17 Sep 2021 13:03:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=QwicjEHr4KAfRxp2ZrFDI825AeEKVWjqaXeDXnQcdGw=; b=hXBTHr+quIw5ylG8gpoMgB9wusJ0+K5xR88TFTeEPQw9CCOQkaqBwrIpZxJMOfp6bg nsuYdjx/783wL1r5+45/UpARrCuGA+msPbH/X7hFzyYeOX4qLurIpQnKmQ0neFriGYfU y6Vdpt974kKin0QiJvARuzHL0LLUe9XLrTBiI04qK1AC9sdWMza3MyZ8uwDkaulRw5bX 4UNnvuIvbWAfJh35u2mwDj0lHMc+myW60891bZkD8TK7SbFvzrPYzmYnVa+ThUVArE7Y J8jlEa/XisAEoosNTbPCPqRxX8auAti67oGCRBl2mUG9bEYwfktALpT3Zt1tvRGTOKN1 7vJg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=QwicjEHr4KAfRxp2ZrFDI825AeEKVWjqaXeDXnQcdGw=; b=fD8ZDZKmMsF3s0Qu0Sy/WaRDFI2aYQW5sJHaZITet/q6sHv0TDLAt7BqQLv2LQoPL0 /yEog1VIw6m5wMqeoA4A3k/Nz+R7phbO+UaglykVGNhLwjwF5/enhzjQYnP6gBJ0KahD wWB4iC0FJcvQm8RM5chMAgeiaXld5et+Jzkc2ehOBo8AIegPcs7CWwCnXdlaSpDZax1E uqIJEr8YFV7F5kv+yz05nlf6Kdwae1xhUiwu5y+hGwNyP4ORpH0+qXGy4cv0QCniDZWc mvocd327vvQHVh6TT7/zUHnccpvEq33SSKWl4OQCUqwE6Wm1Ss1LINlxXOXT8cxVG7qg fWng== X-Gm-Message-State: AOAM532sLYT/E19y1LidqUh+Q6eQFBzL1t8dLyGeYuV+GVGJJZsHGBED Fwi7EGLrx7j4d4us8OcG+0UyS6AVFlk= X-Google-Smtp-Source: ABdhPJzvMBGlsp1K6REPzOTLAd0sVOZxw+tSKtslbJYwLq1fxSUbuuaBSyVLCAFQrHe1A8WE3NurRA== X-Received: by 2002:a05:620a:24c1:: with SMTP id m1mr12568986qkn.309.1631909010947; Fri, 17 Sep 2021 13:03:30 -0700 (PDT) Received: from hurd (dsl-151-99.b2b2c.ca. [66.158.151.99]) by smtp.gmail.com with ESMTPSA id 82sm2838919qkm.64.2021.09.17.13.03.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 17 Sep 2021 13:03:30 -0700 (PDT) From: Maxim Cournoyer To: Ricardo Wurmus Subject: Re: How to solve "abiI-check: recompilation needed" References: <0796c4bf-c8e8-34a4-b7ce-5a537492c32b@crazy-compilers.com> <87wnngob0a.fsf@elephly.net> Date: Fri, 17 Sep 2021 16:03:29 -0400 In-Reply-To: <87wnngob0a.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 16 Sep 2021 16:23:01 +0200") Message-ID: <87fsu3m0ku.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::72b; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qk1-x72b.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, 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=1631909039; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=QwicjEHr4KAfRxp2ZrFDI825AeEKVWjqaXeDXnQcdGw=; b=FxrziokVkY7GccYpYg7eKe5CZ/NAg/UWSqByDThTiIB+FRstsw14RYZHE19kNT5ThMz5Mp dSBKRyyFecvRWvNsMRkKxIxFlKkjHy09fCdxnG2ix1e+EHfm/CVPcp5d1tU8rR2hVVWJfg a3iY1OHyu0h2t2dQt1nSohDMe5LxaaceehqYZmz901rrPhljpfRRc4SrDSBJ2tF+Ndmg1Z zWweVgu0FlpVAnGKNqDX1+7hbXbU3zNNHsPx4CM67sMrgjxY4+egltqVULelKcNlkjKP5m yYyUrkq1l7KM9jzl4EfjcBw/7/2xDF9lSrlWlp7HD6pCi3t/eCP3aQNkvXXNUg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1631909039; a=rsa-sha256; cv=none; b=Ur9z4+Cg8dbnsyBj6tEi9A/QycvC/RJWdsP9Boz76GY/UMaJlUU6sheh+xlBc2JSjRHQfo UWa5FvvdVvAxqjxBYHC5d/OcJt+vnLIigSxfPxToAcHC1p+1bggYUWvmMVUClt0fM1Vbbq uSERvF2lQwBdatV1BpzpCgoF0UB6sfyVFifAv9E3Xm5JQx/1nifsOM1ZjH5AVuT8QQyFpQ 5PwNQGZIMTywU7HvFMZf9qpfKytfIVqUblOalYy/tVZdwezJ3+ikVwvA/8BGW4LSghixtP xdqulSX6vLBWiXUjAg/MEP6NLdnGr3KQeMdOLp2K5Q567yZBUjNWj/0f7UVTrw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=hXBTHr+q; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: -1.30 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=hXBTHr+q; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: E62ED1F501 X-Spam-Score: -1.30 X-Migadu-Scanner: scn0.migadu.com X-TUID: OCcsikIPYXlN Hello, Ricardo Wurmus writes: > Hartmut Goebel writes: > >> Hi, >> >> quite often, after "git pull" I'm facing this error when running >> "make-make-go": >> >> $ 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 >> >> How can I solve this, without removing and rebulding *all* files - >> which is time consuming and a waste of electric power. > > 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. > > The suggested fix is in fact to rebuild all go files, i.e. =E2=80=9Cmake > clean-go=E2=80=9D and then =E2=80=9Cmake -j=E2=80=9D. 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: $ git grep -l bootloader-configuration | grep '.scm' \ | sed 's/.scm/.go/' | xargs rm $ make Which I often though to save recompilation time. HTH, Maxim