X-Loop: help-debbugs@HIDDEN
Subject: [bug#78011] [PATCH electronics-team] gnu: Add opensta.
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: csantosb@HIDDEN, ekaitz@HIDDEN, maxim.cournoyer@HIDDEN, guix-patches@HIDDEN
Resent-Date: Wed, 23 Apr 2025 13:19:02 +0000
Resent-Message-ID: <handler.78011.B.174541428913986 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 78011
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 78011 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb@HIDDEN>, Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN>, Maxim Cournoyer <maxim.cournoyer@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
X-Debbugs-Original-Xcc: Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN>, Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Received: via spool by submit <at> debbugs.gnu.org id=B.174541428913986
(code B ref -1); Wed, 23 Apr 2025 13:19:02 +0000
Received: (at submit) by debbugs.gnu.org; 23 Apr 2025 13:18:09 +0000
Received: from localhost ([127.0.0.1]:55635 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1u7ZzM-0003dT-QK
for submit <at> debbugs.gnu.org; Wed, 23 Apr 2025 09:18:09 -0400
Received: from lists.gnu.org ([2001:470:142::17]:46056)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
id 1u7ZzI-0003bK-Qs
for submit <at> debbugs.gnu.org; Wed, 23 Apr 2025 09:18:06 -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 <csantosb@HIDDEN>)
id 1u7ZzC-0004qk-I4
for guix-patches@HIDDEN; Wed, 23 Apr 2025 09:17:58 -0400
Received: from devianza.investici.org ([2c0f:f930:0:4::108])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <csantosb@HIDDEN>)
id 1u7Zz9-0001UV-Bj
for guix-patches@HIDDEN; Wed, 23 Apr 2025 09:17:57 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
s=stigmate; t=1745414262;
bh=ocsi5mFyo1MQDAv6A4wGSU1eh1ADaEY7wHPpttb0oKU=;
h=From:To:Cc:Subject:Date:From;
b=WcAX6Mlw0hWOMZBXYFueUnTIeSURZ5gMWzTinW/GW13KeUShOPH9cNyZKA1QAEeBm
LzqBiinZxM+zQ2ZB8i/cr9dYUQFLBeV1EXWD9uzxdotG7KqU9lXata2DcUu6d4z+8v
zPU02SwTVP4ckZaeQJNhEXxOM5wiBgfJZF6daJow=
Received: from mx2.investici.org (unknown [127.0.0.1])
by devianza.investici.org (Postfix) with ESMTP id 4ZjKQt1lt5z6vRn;
Wed, 23 Apr 2025 13:17:42 +0000 (UTC)
Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108])
(Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
with ESMTPSA id 4ZjKQt0Gxbz6vPC;
Wed, 23 Apr 2025 13:17:41 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
Date: Wed, 23 Apr 2025 15:14:20 +0200
Message-ID: <683e72f593c47e23a4d0afbab49940bbbea65da7.1745414060.git.csantosb@HIDDEN>
X-Mailer: git-send-email 2.49.0
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2c0f:f930:0:4::108;
envelope-from=csantosb@HIDDEN; helo=devianza.investici.org
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001,
SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)
* gnu/packages/electronics.scm (opensta): New variable.
Change-Id: If753078958535971c8ab3fd7c934d19d24f0a2f7
---
gnu/packages/electronics.scm | 41 ++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 12e44f234a..1b733a5a1f 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
+ (let ((commit "400c473fe384773a4788ee8378238462b4291fe3")
+ (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 "091np9jnhfzggc7f5q9kx7kfa1fxjrj7d1mnw6q4gniqbs5hwrg5"))))
+ (build-system cmake-build-system)
+ (arguments
+ (list
+ #:tests? #f ; no tests
+ #:out-of-source? #t
+ #:configure-flags
+ #~(list
+ (string-append "-DCUDD_DIR=" #$cudd)
+ (string-append "-DCMAKE_INSTALL_PREFIX=" #$output))
+ #:make-flags
+ #~(list (string-append "CC=" #$(cc-for-target))
+ (string-append "CXX=" #$(cxx-for-target))
+ (string-append "PREFIX=" #$output))))
+ (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")
base-commit: 699ce22ed812cf8cfcdd8d0341829f8fac2c864a
--
2.49.0
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Cayetano Santos <csantosb@HIDDEN> Subject: bug#78011: Acknowledgement ([PATCH electronics-team] gnu: Add opensta.) Message-ID: <handler.78011.B.174541428913986.ack <at> debbugs.gnu.org> References: <683e72f593c47e23a4d0afbab49940bbbea65da7.1745414060.git.csantosb@HIDDEN> X-Gnu-PR-Message: ack 78011 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 78011 <at> debbugs.gnu.org Date: Wed, 23 Apr 2025 13:19:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. As you requested using X-Debbugs-CC, your message was also forwarded to Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN= ch>, Maxim Cournoyer <maxim.cournoyer@HIDDEN> (after having been given a bug report number, if it did not have one). Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 78011 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 78011: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D78011 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.