From patchwork Fri Apr 25 13:24:30 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 42007 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 99A4027BC4B; Fri, 25 Apr 2025 14:27:31 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 4841C27BC49 for ; Fri, 25 Apr 2025 14:27:30 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u8J58-0002nM-Mo; Fri, 25 Apr 2025 09:27:07 -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 1u8J57-0002mn-2B for guix-patches@gnu.org; Fri, 25 Apr 2025 09:27:05 -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 1u8J56-0003Zd-DH for guix-patches@gnu.org; Fri, 25 Apr 2025 09:27:04 -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:From:To:In-Reply-To:References:Subject; bh=E13LoT1HrwjruAPjd9AxYUcr1qFikPeQefuGQtnaNCc=; b=OuIXdHryIc7gTg+3bAYXaL3CNFRucjvCxN2PQCJyYZnXcW85vR/8XEZ8+vgcFwQuDNfpAfMl/sO8GqfeBO/V10y0hB3r9x296RC29qNQESBd0f7TO/RQI5VlRoGL2DdihA4vwiP9nMVFsHLv1S2Ak39uxBW15mtxOHNHNNE1l9ZgLzS11QdE2TGnJ4M6q6F6U09SXZ9BMVk0pNJ8Z44NLh/OatjVois1T0e6nJG7CwqDgtS6QbT169B6pPPoGyHsIYbllniPQNUfo1Gcp3DQuo6TG7Yr7GgWmcQXXk3iOGT5DKjiAcKOb+GEQmRrDJO7eJontrZYrrFizGXrZEpDZQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1u8J54-0003uq-DM; Fri, 25 Apr 2025 09:27:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78011] [PATCH v2] gnu: Add opensta. References: <683e72f593c47e23a4d0afbab49940bbbea65da7.1745414060.git.csantosb@inventati.org> In-Reply-To: <683e72f593c47e23a4d0afbab49940bbbea65da7.1745414060.git.csantosb@inventati.org> Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, ekaitz@elenq.tech, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Fri, 25 Apr 2025 13:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78011 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78011@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer X-Debbugs-Original-Xcc: Cayetano Santos , Ekaitz Zarraga , Maxim Cournoyer Received: via spool by 78011-submit@debbugs.gnu.org id=B78011.174558756814920 (code B ref 78011); Fri, 25 Apr 2025 13:27:02 +0000 Received: (at 78011) by debbugs.gnu.org; 25 Apr 2025 13:26:08 +0000 Received: from localhost ([127.0.0.1]:48877 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8J4C-0003sZ-9r for submit@debbugs.gnu.org; Fri, 25 Apr 2025 09:26:08 -0400 Received: from devianza.investici.org ([198.167.222.108]:43337) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8J47-0003sH-BP for 78011@debbugs.gnu.org; Fri, 25 Apr 2025 09:26:05 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745587561; bh=E13LoT1HrwjruAPjd9AxYUcr1qFikPeQefuGQtnaNCc=; h=From:To:Cc:Subject:Date:From; b=ctbFsUxU7gLHCdzm/bCowhWk07xdmiky5eSRhx875tYf+USlS0EMo8m9EAAIngM7E dc5cclWEg9KyKb45g8Gsu0Fn6TsuJFbtT7DSjZpkgPBdskyRlhvSNSH4788/5wRBuS a1+FtsLKYJq2vDnHauxWaMH9r/8hdHW4r92bS0Uk= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4ZkYWY5NQzz6vNZ; Fri, 25 Apr 2025 13:26:01 +0000 (UTC) Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZkYWY1fJ7z6vLc; Fri, 25 Apr 2025 13:26:01 +0000 (UTC) Date: Fri, 25 Apr 2025 15:24:30 +0200 Message-ID: <2bf33bae3435d88a889a40e212102e9604af51ed.1745587470.git.csantosb@inventati.org> X-Mailer: git-send-email 2.49.0 MIME-Version: 1.0 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 X-Patchwork-Original-From: Cayetano Santos via Guix-patches via From: Cayetano Santos Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/electronics.scm (opensta): New variable. Change-Id: If753078958535971c8ab3fd7c934d19d24f0a2f7 --- gnu/packages/electronics.scm | 41 ++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) base-commit: 501a9603f5e3cda07f3be8e7fecac31f7af5ce52 -- 2.49.0 diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 12e44f234a..63782661ee 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -38,6 +38,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages algebra) #:use-module (gnu packages autotools) #:use-module (gnu packages base) + #:use-module (gnu packages bison) #:use-module (gnu packages boost) #:use-module (gnu packages c) #:use-module (gnu packages check) @@ -45,6 +46,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages compression) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) + #:use-module (gnu packages flex) #:use-module (gnu packages fontutils) #:use-module (gnu packages gl) #:use-module (gnu packages glib) @@ -53,6 +55,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages libftdi) #:use-module (gnu packages libusb) #:use-module (gnu packages linux) + #:use-module (gnu packages maths) #:use-module (gnu packages m4) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) @@ -65,6 +68,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages sqlite) #:use-module (gnu packages stb) #:use-module (gnu packages swig) + #:use-module (gnu packages tcl) #:use-module (gnu packages tls) #:use-module (gnu packages toolkits) #:use-module (gnu packages version-control)) @@ -415,6 +419,43 @@ (define-public openboardview @end itemize") (license license:expat))) +(define-public opensta + ;; There are no releases, we use last commit. + (let ((commit "eb8d39a7dd81b5ca2582ad9bbce0fb6e094b3e0f") + (revision "0")) + (package + (name "opensta") + (version (git-version "2.6.2" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/parallaxsw/OpenSTA/") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0bpc7fj4pd5713yny2vrh542jbag1kj20g0ji01c9scqb9av5qw5")))) + (build-system cmake-build-system) + (arguments + (list + #:phases + #~(modify-phases %standard-phases + (replace 'check + (lambda* (#:key (tests? #t) #:allow-other-keys) + (when tests? + (invoke "../source/test/regression"))))) + #:configure-flags + #~(list + (string-append "-DCUDD_DIR=" #$(this-package-input "cudd"))))) + (native-inputs (list swig bison flex)) + (inputs (list tcl tcllib zlib cudd eigen)) + (synopsis "Parallax Static Timing Analyzer") + (description + "OpenSTA is a gate level static timing verifier. As a stand-alone executable +it can be used to verify the timing of a design using standard file formats.") + (home-page "https://github.com/parallaxsw/OpenSTA/") + (license license:gpl3)))) + (define-public pulseview (package (name "pulseview")