From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id gLxJGqP952P5iAAAbAwnHQ (envelope-from ) for ; Sat, 11 Feb 2023 21:42:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id iLReGaP952MqcwEAG6o9tA (envelope-from ) for ; Sat, 11 Feb 2023 21:42:11 +0100 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 06F3E3E37E for ; Sat, 11 Feb 2023 21:42:10 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pQwhC-0005t3-0j; Sat, 11 Feb 2023 15:42:06 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pQwh9-0005sS-GP for guix-patches@gnu.org; Sat, 11 Feb 2023 15:42:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pQwh9-0006ts-0U for guix-patches@gnu.org; Sat, 11 Feb 2023 15:42:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pQwh8-0002gG-Sf for guix-patches@gnu.org; Sat, 11 Feb 2023 15:42:02 -0500 Subject: bug#60429: [PATCH v3 0/5] gnu: yosys: Update to 0.24. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sat, 11 Feb 2023 20:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 60429 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Simon South Cc: 60429-done@debbugs.gnu.org, guix-patches@gnu.org Mail-Followup-To: 60429@debbugs.gnu.org, mail@cbaines.net, simon@simonsouth.net Received: via spool by 60429-done@debbugs.gnu.org id=D60429.167614810210236 (code D ref 60429); Sat, 11 Feb 2023 20:42:02 +0000 Received: (at 60429-done) by debbugs.gnu.org; 11 Feb 2023 20:41:42 +0000 Received: from localhost ([127.0.0.1]:43288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQwgn-0002ez-Ve for submit@debbugs.gnu.org; Sat, 11 Feb 2023 15:41:42 -0500 Received: from mira.cbaines.net ([212.71.252.8]:42192) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pQwgm-0002eq-Ae for 60429-done@debbugs.gnu.org; Sat, 11 Feb 2023 15:41:41 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:3a91:a0a4:ecee:f157]) by mira.cbaines.net (Postfix) with ESMTPSA id 818121623C; Sat, 11 Feb 2023 20:41:39 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 34f24f66; Sat, 11 Feb 2023 20:41:38 +0000 (UTC) References: User-agent: mu4e 1.8.11; emacs 28.2 From: Christopher Baines Date: Sat, 11 Feb 2023 20:38:02 +0000 In-reply-to: Message-ID: <878rh453zz.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1676148131; 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:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post; bh=+sf+iluUoyW/X+CTF2vZJP6hWQVmJbfHYvxVk9Rxndo=; b=Yl0v8lZftXI0kbkbL3KhEECaTlYc4qcHMEt7es6UhoqD6QwIbzCsLPVSHiouNcOU7A9xBL IpY6dXvk6odF+s39nN3XFP6eX0syLqszEniZPQxzn3GzxgdMgXIiP5rqbgdhdNHbXN1F7l L0CwDHq65Pie7oHVmYql1+XQ/8l/VqRGOXCD+w65DnIXFnniVPK/L5VTiTrO7EmPKFJPZ8 NFaCw0Fe2EX73RbhXC0Nz85lCMMIPJhyYyqNGnVR1TQbCEn4CR4/ch2aAmWOkhPkt/q1O3 1fOUfFCq6GDGtSD29Hka78lRnc1pwzcrL+WVzkK8I+TjqfM0wC2m7GM2qWP7Bg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1676148131; a=rsa-sha256; cv=none; b=IVrE9vZh67/4qkklc6IMxEeP7p3IqZZOsMwU82uGuRWTtnYUsxxVrPFCHHTy2C+aoGqvW1 y8BeEERi3XDXMFVV5B4hLzh2sZoBACQRtQCrO86DRj/hCrIKhJrNEXaIEQku59R1z2t1QZ BAzgFT0oppQrOWF5CZPPAmXgRHQ7kBmjuZR1D8HV303KxmNfLoB5Ybmnu37GPNPrRoIIu7 4FkYtW7lrqPb6wRivpcyAGdOx54tCjNFAj9CoNcRROobMiIOiFpm0WWLAcxLgvCF0kJo50 ZQw6imcj4WY7hU9KMeRjJeBMS8MEcy22HEF6Xo7o044iJlgAApd8JxCCDVJCZg== X-Migadu-Queue-Id: 06F3E3E37E X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none X-Migadu-Spam-Score: -6.31 X-Spam-Score: -6.31 X-TUID: OxrelLMIst66 --=-=-= Content-Type: text/plain Simon South writes: > Here's a third revision of the remaining two patches in this series. These > updated patches now > > - Remove the remaining propagated inputs (abc and z3) from the yosys package > via changes to its "fix-paths" and "use-external-abc" phases, and > > - Update Yosys to version 0.26. Thanks for the update, I made a tweak and pushed these to master as 8553148dfb91a9957b95c7bc6bc108cc0a973f9e. > Note the second patch adds python and python-click as new propagated inputs. > The Click library is needed by the "yosys-witness" command, and including both > it and the Python interpreter in propagated-inputs is the only combination > I've found that will cause Guix to set GUIX_PYTHONPATH appropriately on > installation so this command can function. > > This appears to be supported by the Guix manual (in the sections "Search > Paths" and "Python Modules") but if there's a better approach, please let me > know. I believe the good approach to do this is to wrap the relevant script. I've gone ahead and changed the patch to do this rather than add the propagated inputs. Do let me know if there's a problem with this approach though, as I don't know how to test this software as well as you. Thanks again, Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmPn/YBfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9Xdqgw//ScUtuC3TP42e1Qih3uI68jDjING2Rs9M PMbMt8TY3mX+keMluiO8hDJiPBha+NTjWe+9ntcqAaddYa3WRzgEL3XPYWgJcW+/ bO0Fgpl7beRK68KgxU+e/BR1ijwY9DBA5mjBNhzp9r3iTt6xpZ//CeiMKedkoC/n TQjtB9jfxnWSTNO6r2LDxo6yn4C/YUsg7EnR0dMr4Ah+SaKwkomqPpZBa6b8CxYA NkCARmS2xnFBGpsa3idAvA7GNDMlLXvrkXqVuK6AuIcRZ/1EF5sm8RE3RQbrAjag nwB2QcyMXEAfz27+SVN5HIKBzxnLuC77PUja6PmLhLeuuroW4I1PAX3GYG6bITFD 9xtHx4s34ybAyM4CDWY2I7x9VxBPHmAu5fLdXi7ji1QOweHnAyIDDqefbE7F8XB/ cpLYyE0p9vFOsngR/jtqfwJ16C8SxgxECaHywkmSxO1hiaRdBT54t1VkH+mMU6XK eguY/NAWSxtl0K6tR6PN1l0/zeCbtyNzakO0bOzwgFj1DXmPGhZz3OFPGujCHHSI vPf9d9qRutz3BbK3obzxPY5ocGPOE+Nz8f+Ekh7CxL+2JxFkdZBJd1dWB8z/j9Pm x1U90IZO5XCVTKI9m501CPsjOjeEPDgPvu9S9HjA5L0/I0fPQJnUckayebXgL/OS EVT1R/iNC4Y= =mZDd -----END PGP SIGNATURE----- --=-=-=--