From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id gCjALb9QGmfxPgAAe85BDQ:P1 (envelope-from ) for ; Thu, 24 Oct 2024 13:50:56 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id gCjALb9QGmfxPgAAe85BDQ (envelope-from ) for ; Thu, 24 Oct 2024 15:50:55 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=TqMpvkne; dkim=fail ("headers rsa verify failed") header.d=inventati.org header.s=stigmate header.b=EE3KgkYO; 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=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1729777855; h=from:from:sender:sender:reply-to: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:resent-cc: 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:dkim-signature; bh=xgVNfImgnfrt89eLqW9oIRb9qZypEeKY3aFgA9U42BU=; b=VVpZbHstvpG7JPIsbI/M4z7hpEqHZh9/1pevqiiSPG/TvvSHPvtpvtdolZQp/WMh4c4Ng1 O1Nl1CwUIyuuinXDFhQG8C9gB48CW43f24w73DZuF+cdcfjKQsESBIJPT0Pt3DvtGiGnvB eA1WcFnFVtBHxlGu2nqHnIW4XsaIkU8GjRsgPac7YIEMSZw2BdL7DAuzxQpyqPPlGYbMLO BdeHyHta4ifx9vLDSyGjQCCYHXsAxBE29XAZ9dVDrxzDl0wYpVcwfRrwylZ8BgNg1Yg0QT AACIUxKQ1Grzkv7q5PDk7kKUvIGhPI4YXenRBpU+8PZYSbzoUyukAnu7wMQCpQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=TqMpvkne; dkim=fail ("headers rsa verify failed") header.d=inventati.org header.s=stigmate header.b=EE3KgkYO; 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=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1729777855; a=rsa-sha256; cv=none; b=bfUK+EeONJNntVKukWmHj5EU+2IfPh7l67PKN5w0uUdM+a++84h5JtHvPRnofsmtbTXWws MKEhnOFOp1ih2KKKfTJIpacBCSaQ+dpXF8bXGByvWzEZ9wH681DounghuLQuVCUKzCQufn v3K4haxwooydi8sren9xuFefYZ5kPakIuFbhoBhMCqT2chp7oOqtH7eyq98sBSqEsMP7Mg lyXSy/B5w9WrNBHC0jaDQYVFuP8GK3f4/6u06LJAlKtjDiu3ormShHbVgNP49L+GZCyvnV aIb1aISTNqRjGt/OsGbIn5VyKEHjf4F/dj3RoIc00weHkcLnHoFUrVo+EnXm3g== 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 544067CCD7 for ; Thu, 24 Oct 2024 15:50:55 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t3yEY-0005Bt-2I; Thu, 24 Oct 2024 09:50:38 -0400 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 1t3yER-0005BX-M2 for guix-patches@gnu.org; Thu, 24 Oct 2024 09:50:33 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t3yER-0002gM-Bn for guix-patches@gnu.org; Thu, 24 Oct 2024 09:50:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=xgVNfImgnfrt89eLqW9oIRb9qZypEeKY3aFgA9U42BU=; b=TqMpvknes7Pa0FCa++OPv9FMQNrhT+y/ptVC3K91y2X2KO/1/AGKKW2kNqSmBOZNgbXmhx0ycPL1LlhDgjEedBjX+4LV/D/H4Td4A0wnzJndfoOKS4yursrqNtXm3BCgdkTszEUh2EbuS2EZVuqQxQLZBTMNna4YDPqcmSb204XlmlQ7CtDoGfDdJhdb3PJ+HPs4BRxTyQucW+HZf1jfE7Ud5QZCo5L/4XbsiG9tSpOWogPoUPLFs3NOnTmB1oaSjqq9Sj6pPmeL9LoZA+qaA7XS/vuJ0cdNjzNBaD3x6MfuujTsbstfAnj4JloGauI+he5am2R+R7Ph+1/l5gW/+g==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1t3yEv-0004ho-UO for guix-patches@gnu.org; Thu, 24 Oct 2024 09:51:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73717] [PATCH v1] gnu: Add yosys-clang. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 24 Oct 2024 13:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73717 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 73717@debbugs.gnu.org Received: via spool by 73717-submit@debbugs.gnu.org id=B73717.172977780217634 (code B ref 73717); Thu, 24 Oct 2024 13:51:01 +0000 Received: (at 73717) by debbugs.gnu.org; 24 Oct 2024 13:50:02 +0000 Received: from localhost ([127.0.0.1]:34146 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3yDx-0004a9-Rn for submit@debbugs.gnu.org; Thu, 24 Oct 2024 09:50:02 -0400 Received: from latitanza.investici.org ([82.94.249.234]:52789) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t3yDv-0004Zx-Bj for 73717@debbugs.gnu.org; Thu, 24 Oct 2024 09:50:00 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1729777760; bh=xgVNfImgnfrt89eLqW9oIRb9qZypEeKY3aFgA9U42BU=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=EE3KgkYOOB1lHfr1yx2RbswVeZSOZtJXfba2VoyEGZyIRUmKFlNl+AlqAE3556q4y 6OY6Ah5Rq32gGNCNBECIFrGhZzpFCGMpBRYtlO4NbDYqwqs2t5wAaLhm4cM5HaEXen ogtMM+R/pn9RMRkciZRnju/Zl6847zt1U2dW7iAk= Received: from mx3.investici.org (unknown [127.0.0.1]) by latitanza.investici.org (Postfix) with ESMTP id 4XZ6hw3FCxzGp57; Thu, 24 Oct 2024 13:49:20 +0000 (UTC) Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4XZ6hw1Bq1zGp4v; Thu, 24 Oct 2024 13:49:20 +0000 (UTC) In-Reply-To: <87jzdx24r3.fsf@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Thu, 24 Oct 2024 12:07:44 +0200") References: <8b52ca0f1d61c5ff14501fb72658b0bee716af13.1728459902.git.csantosb@inventati.org> <87jzdx24r3.fsf@gnu.org> Date: Thu, 24 Oct 2024 15:49:37 +0200 Message-ID: <87frold30u.fsf@inventati.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: , Reply-to: Cayetano Santos X-ACL-Warn: , Cayetano Santos via Guix-patches From: Cayetano Santos via Guix-patches via 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 X-Migadu-Scanner: mx11.migadu.com X-Migadu-Spam-Score: 0.01 X-Spam-Score: 0.01 X-Migadu-Queue-Id: 544067CCD7 X-TUID: +TkxfwUqDzTr >Thu 24 Oct 2024 at 12:07, Ludovic Court=C3=A8s wrote: > Out of curiosity, why is it necessary to have a Clang-built variant of > yosys? Does that change is feature set? Performance, cababilities and (usually) different outcomes. I=E2=80=99m interested on the yosys + ghdl-plugin for synthesis of vhdl code (not verilog, default in yosys). All these tools come with several technologies as backends, in order to compare performance, results, features (code coverage comes to my mind right now), etc. > Could you add a synopsis, like: > > (synopsis "FPGA Verilog RTL synthesizer (Clang variant)") Sure !