From patchwork Sat Apr 26 19:25:23 2025 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Cayetano Santos X-Patchwork-Id: 42030 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 C822927BC4B; Sat, 26 Apr 2025 20:26:25 +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 0F95527BC49 for ; Sat, 26 Apr 2025 20:26:25 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1u8lA7-0008FO-7P; Sat, 26 Apr 2025 15:26: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 1u8lA4-0008En-Mf for guix-patches@gnu.org; Sat, 26 Apr 2025 15:26: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 1u8lA3-0005R1-W5 for guix-patches@gnu.org; Sat, 26 Apr 2025 15:26: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=4y+J6AWSITXiHaCO+2Ts0a+sBAjItd5fxRHrraT0EBc=; b=quPoxk6G7GjY1G039zmDzYAN8GNng/ybGFk/2+cY7Vw675iUbwNOwWfqCk2+6CXRtlxgydztWFl7YMrYPrCd52SEKdH6vzwA0MyYfCCIgIx++cwQVujZEFpXWSXrbUbp4WkNk5e328lsHvhX1+kW6BOk9Rs0G5s/xraa/Uz059bXC/GtXVGdQ9+z186AwWd+UxTAw3BZkOcIMyybQ0YBGb2k2M/HHP1n/o4X14r1Bjz6ARWLMi28YTLBc6vmNHzjjlA6j5PyLPQ6ThQagqpEIwDAubuz3EBInPXQ9neGcxobJIc70UOAI1zNpJ2F8YYSfIrC2KMVG6R8BG1adO0ObA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1u8lA2-0003Kk-4E; Sat, 26 Apr 2025 15:26:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#78011] [PATCH v3] 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: Sat, 26 Apr 2025 19:26: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.174569555012782 (code B ref 78011); Sat, 26 Apr 2025 19:26:02 +0000 Received: (at 78011) by debbugs.gnu.org; 26 Apr 2025 19:25:50 +0000 Received: from localhost ([127.0.0.1]:35225 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1u8l9p-0003K6-Fm for submit@debbugs.gnu.org; Sat, 26 Apr 2025 15:25:49 -0400 Received: from confino.investici.org ([93.190.126.19]:23135) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1u8l9a-0003JM-Li for 78011@debbugs.gnu.org; Sat, 26 Apr 2025 15:25:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1745695531; bh=4y+J6AWSITXiHaCO+2Ts0a+sBAjItd5fxRHrraT0EBc=; h=From:To:Cc:Subject:Date:From; b=EM15DcDLlskZVc5QozpoIn4i4s2LA6v4VJ2P38/85W6X9Bko1kODg/hjM9m57kTrF GAaSvorD+BvdevDBL4XC5pERVoclERyG6k0y50QbJjvpMIGr1h6kos0gLpnqpqo6Dy iAt0y5cqVJH6qyUW34SrVM0TbIsMXEvf/D2/VAWU= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4ZlKRv2jmYz11F1; Sat, 26 Apr 2025 19:25:31 +0000 (UTC) Received: from [93.190.126.19] (mx1.investici.org [93.190.126.19]) (Authenticated sender: cayetano.santos@inventati.org) by localhost (Postfix) with ESMTPSA id 4ZlKRv08gFz11DK; Sat, 26 Apr 2025 19:25:30 +0000 (UTC) Date: Sat, 26 Apr 2025 21:25:23 +0200 Message-ID: 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 | 44 ++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) base-commit: edeafb19c4a83eb81fe7e47a6a94f238db9cccf1 diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index 12e44f234a..e32bad9c9d 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,46 @@ (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") + ;; The version string is taken from the CMakeLists.txt. + (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? #:allow-other-keys) + (when tests? + (invoke "../source/test/regression"))))) + #:configure-flags + #~(list + (string-append "-DCUDD_DIR=" #$(this-package-input "cudd")) + (string-append "-DBUILD_SHARED_LIBS=YES")))) + (native-inputs (list bison flex swig)) + (inputs (list cudd eigen tcl tcllib zlib)) + (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")