From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 24 03:09:54 2021 Received: (at submit) by debbugs.gnu.org; 24 Jan 2021 08:09:54 +0000 Received: from localhost ([127.0.0.1]:35804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3aT4-0004me-8v for submit@debbugs.gnu.org; Sun, 24 Jan 2021 03:09:54 -0500 Received: from lists.gnu.org ([209.51.188.17]:53738) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3aT2-0004mW-4j for submit@debbugs.gnu.org; Sun, 24 Jan 2021 03:09:52 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:52438) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l3aT1-0007Rh-Vu for guix-patches@gnu.org; Sun, 24 Jan 2021 03:09:52 -0500 Received: from relay4-d.mail.gandi.net ([217.70.183.196]:58865) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l3aSz-0006EG-K0 for guix-patches@gnu.org; Sun, 24 Jan 2021 03:09:51 -0500 X-Originating-IP: 91.193.176.159 Received: from localhost.localdomain (unknown [91.193.176.159]) (Authenticated sender: andrew@interpretmath.pw) by relay4-d.mail.gandi.net (Postfix) with ESMTPSA id EF826E0003; Sun, 24 Jan 2021 08:09:42 +0000 (UTC) From: Andrew Miloradovsky To: guix-patches@gnu.org Subject: [PATCH] gnu: Add SystemC. Date: Sun, 24 Jan 2021 08:07:40 +0000 Message-Id: <20210124080741.3965-1-andrew@interpretmath.pw> X-Mailer: git-send-email 2.30.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=217.70.183.196; envelope-from=andrew@interpretmath.pw; helo=relay4-d.mail.gandi.net X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.6 (-) X-Debbugs-Envelope-To: submit Cc: Andrew Miloradovsky X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.6 (--) * gnu/packages/fpga.scm (systemc): New variable. --- gnu/packages/fpga.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 96ba0026f9..ff03b5270d 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -467,3 +467,32 @@ a hardware description and verification language. ") (description "This package provides a VHDL compiler and simulator.") (home-page "https://github.com/nickg/nvc") (license license:gpl3+))) + +(define-public systemc + (package + (name "systemc") + (version "2.3.3") + (source (origin + (method url-fetch) + (uri (string-append + "https://accellera.org/images/downloads/standards/" + name "/" name "-" version ".tar.gz")) + (sha256 + (base32 + "0gvv3xmhiwx1izmzy06yslzqzh6ygrgmw53xqfmyvbz5a6ivk0ap")))) + (native-inputs `(("perl" ,perl))) + (build-system gnu-build-system) + (arguments '(#:configure-flags '("--enable-debug"))) + (home-page "https://accellera.org/downloads/standards/systemc") + (synopsis "Library for event-driven simulation") + (description "Reference implementation of IEEE 1666-2011. +A C++ library for modeling concurrent systems. It provides a notion of timing +as well as an event-driven simulations environment. Due to it’s concurrent +and sequential nature, SystemC allows the description and integration of +complex hardware and software components. To some extent, SystemC can be seen +as a Hardware Description Language. However, unlike VHDL or Verilog, SystemC +provides sophisticated mechanisms that offer high abstraction levels on +components interfaces. This, in turn, facilitates the integration of systems +using different abstraction levels.") + ;; homepages.cae.wisc.edu/~ece734/SystemC/Esperan_SystemC_tutorial.pdf + (license license:asl2.0))) -- 2.30.0 From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 24 12:46:16 2021 Received: (at 46069) by debbugs.gnu.org; 24 Jan 2021 17:46:16 +0000 Received: from localhost ([127.0.0.1]:37139 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3jSq-0007Vn-4W for submit@debbugs.gnu.org; Sun, 24 Jan 2021 12:46:16 -0500 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:47279) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3jSo-0007Oi-Aj for 46069@debbugs.gnu.org; Sun, 24 Jan 2021 12:46:14 -0500 X-Originating-IP: 91.193.176.159 Received: from localhost.localdomain (unknown [91.193.176.159]) (Authenticated sender: andrew@interpretmath.pw) by relay7-d.mail.gandi.net (Postfix) with ESMTPSA id E499D2000B; Sun, 24 Jan 2021 17:46:06 +0000 (UTC) From: Andrew Miloradovsky To: 46069@debbugs.gnu.org Subject: [PATCH] gnu: Add Verilator. Date: Sun, 24 Jan 2021 17:45:47 +0000 Message-Id: <20210124174547.27907-1-andrew@interpretmath.pw> X-Mailer: git-send-email 2.30.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46069 Cc: Andrew Miloradovsky X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) * gnu/packages/fpga.scm (verilator): New variable. --- gnu/packages/fpga.scm | 47 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index ff03b5270d..429e848c31 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -496,3 +496,50 @@ components interfaces. This, in turn, facilitates the integration of systems using different abstraction levels.") ;; homepages.cae.wisc.edu/~ece734/SystemC/Esperan_SystemC_tutorial.pdf (license license:asl2.0))) + +(define-public verilator + (package + (name "verilator") + (version "4.108") + (source (origin + (method url-fetch) + (uri (string-append + "https://github.com/" name "/" + name "/archive/v" version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "0mbwplrkmp06clm1y3p33n74qrr3rqsc803hzwjs7ralfz2islnf")))) + (native-inputs `(("autoconf" ,autoconf) + ("automake" ,automake) + ("gettext" ,gettext-minimal) + ("perl" ,perl) + ("python" ,python) + ("flex" ,flex) + ("bison" ,bison) + ("systemc" ,systemc))) + (build-system gnu-build-system) + (arguments '(#:configure-flags + (list (string-append "LDFLAGS=-L" + (assoc-ref %build-inputs "systemc") + "/lib-linux64")) + #:make-flags + (list (string-append "LDFLAGS=-L" + (assoc-ref %build-inputs "systemc") + "/lib-linux64")) + #:phases + (modify-phases %standard-phases + (replace 'bootstrap + (lambda _ (invoke "autoconf")))) + #:test-target "test")) + ;; #error "Something failed during ./configure as config_build.h is incomplete. + ;; Perhaps you used autoreconf, don't." -- so we won't. ^ + (home-page "https://www.veripool.org/projects/verilator/") + (synopsis "A fast Verilog/SystemVerilog simulator") + (description "It compiles SystemVerilog to C++ or SystemC. +The user writes a little C++/SystemC wrapper file, which instantiates the +'Verilated' model of the user’s top level module. These C++/SystemC files are +then compiled by a C++ compiler (GCC/Clang/etc.). The resulting executable +performs the design simulation. Verilator also supports linking its generated +libraries, optionally encrypted, into other simulators.") + (license license:lgpl3))) -- 2.30.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 28 08:57:50 2021 Received: (at 46069) by debbugs.gnu.org; 28 Jan 2021 13:57:50 +0000 Received: from localhost ([127.0.0.1]:47617 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l57ny-0007fk-AO for submit@debbugs.gnu.org; Thu, 28 Jan 2021 08:57:50 -0500 Received: from relay10.mail.gandi.net ([217.70.178.230]:58157) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l57nv-0007fU-Nc for 46069@debbugs.gnu.org; Thu, 28 Jan 2021 08:57:48 -0500 Received: from localhost (40-67.ipv4.commingeshautdebit.fr [185.131.40.67]) (Authenticated sender: admin@nicolasgoaziou.fr) by relay10.mail.gandi.net (Postfix) with ESMTPSA id 2C46B240007; Thu, 28 Jan 2021 13:57:39 +0000 (UTC) From: Nicolas Goaziou To: Andrew Miloradovsky Subject: Re: [bug#46069] [PATCH] gnu: Add SystemC. References: <20210124080741.3965-1-andrew@interpretmath.pw> Date: Thu, 28 Jan 2021 14:57:39 +0100 In-Reply-To: <20210124080741.3965-1-andrew@interpretmath.pw> (Andrew Miloradovsky's message of "Sun, 24 Jan 2021 08:07:40 +0000") Message-ID: <878s8djh9o.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46069 Cc: 46069@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hello, Andrew Miloradovsky writes: > * gnu/packages/fpga.scm (systemc): New variable. I applied your patch with the changes detailed below. > + (source (origin > + (method url-fetch) > + (uri (string-append > + "https://accellera.org/images/downloads/standards/" > + name "/" name "-" version ".tar.gz")) I hard-coded "name" since this is what we usually do in packages. > + (home-page "https://accellera.org/downloads/standards/systemc") I changed home-page so it does not point to the Downloads section directly. > + (synopsis "Library for event-driven simulation") > + (description "Reference implementation of IEEE 1666-2011. > +A C++ library for modeling concurrent systems. I reworded a bit the description to it starts with full sentences. Thank you! Regards, -- Nicolas Goaziou From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 28 09:01:24 2021 Received: (at 46069-done) by debbugs.gnu.org; 28 Jan 2021 14:01:24 +0000 Received: from localhost ([127.0.0.1]:47627 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l57rQ-0007n0-4y for submit@debbugs.gnu.org; Thu, 28 Jan 2021 09:01:24 -0500 Received: from relay1-d.mail.gandi.net ([217.70.183.193]:9001) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l57rO-0007mm-3s for 46069-done@debbugs.gnu.org; Thu, 28 Jan 2021 09:01:23 -0500 X-Originating-IP: 185.131.40.67 Received: from localhost (40-67.ipv4.commingeshautdebit.fr [185.131.40.67]) (Authenticated sender: admin@nicolasgoaziou.fr) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 16CE5240010; Thu, 28 Jan 2021 14:01:14 +0000 (UTC) From: Nicolas Goaziou To: Andrew Miloradovsky Subject: Re: [bug#46069] [PATCH] gnu: Add Verilator. References: <20210124080741.3965-1-andrew@interpretmath.pw> <20210124174547.27907-1-andrew@interpretmath.pw> Date: Thu, 28 Jan 2021 15:01:14 +0100 In-Reply-To: <20210124174547.27907-1-andrew@interpretmath.pw> (Andrew Miloradovsky's message of "Sun, 24 Jan 2021 17:45:47 +0000") Message-ID: <874kj1jh3p.fsf@nicolasgoaziou.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 46069-done Cc: 46069-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hello, Andrew Miloradovsky writes: > * gnu/packages/fpga.scm (verilator): New variable. I added a copyright line for you in "fpga.scm" and applied your patch with the changes detailed below. > + (source (origin > + (method url-fetch) > + (uri (string-append > + "https://github.com/" name "/" > + name "/archive/v" version ".tar.gz")) This is an unstable release, so I used git-fetch instead, with the tag corresponding to the release. > + (native-inputs `(("autoconf" ,autoconf) > + ("automake" ,automake) > + ("gettext" ,gettext-minimal) > + ("perl" ,perl) > + ("python" ,python) > + ("flex" ,flex) > + ("bison" ,bison) > + ("systemc" ,systemc))) I re-ordered native-inputs alphabetically, and moved perl and systemc to regular inputs instead. I'm not absolutely sure about this change, but it still compiles. Let me know if this is not appropriate. > + (synopsis "A fast Verilog/SystemVerilog simulator") I tweaked the synopsis so it doesn't start with the "A" article. Running "guix lint" should warn you about it. > + (description "It compiles SystemVerilog to C++ or SystemC. > +The user writes a little C++/SystemC wrapper file, which instantiates the > +'Verilated' model of the user=E2=80=99s top level module. These C++/Sys= temC files are > +then compiled by a C++ compiler (GCC/Clang/etc.). The resulting executa= ble > +performs the design simulation. Verilator also supports linking its gen= erated > +libraries, optionally encrypted, into other simulators.") I slightly reworded the beginning of the description according to information from the GitHub repository. Thank you. Regards, --=20 Nicolas Goaziou From unknown Sun Jun 22 03:54:43 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 26 Feb 2021 12:24:14 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator