From unknown Sun Jun 15 13:02:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76207] [PATCH] gnu: Add uhdm. Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 11 Feb 2025 16:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 76207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76207@debbugs.gnu.org Cc: Cayetano Santos X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17392911983246 (code B ref -1); Tue, 11 Feb 2025 16:27:02 +0000 Received: (at submit) by debbugs.gnu.org; 11 Feb 2025 16:26:38 +0000 Received: from localhost ([127.0.0.1]:58251 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tht5p-0000qH-VY for submit@debbugs.gnu.org; Tue, 11 Feb 2025 11:26:38 -0500 Received: from lists.gnu.org ([2001:470:142::17]:33588) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tht5n-0000q0-Hy for submit@debbugs.gnu.org; Tue, 11 Feb 2025 11:26:36 -0500 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 1tht5d-0006VX-1E for guix-patches@gnu.org; Tue, 11 Feb 2025 11:26:25 -0500 Received: from confino.investici.org ([93.190.126.19]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tht5a-00037f-7p for guix-patches@gnu.org; Tue, 11 Feb 2025 11:26:24 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1739291176; bh=u3RA/F6UrpsOjh2SfedLlZPpZVS45D0VcN9bMuIJ/D8=; h=From:To:Cc:Subject:Date:From; b=GayPFtegi1NBmCnwMwELfxKrPtycT+ld64opxOc9JMMaL7GqR6x3VXJFRKLRZzUdF PvhGCPyhHoX88yRyu8KGdcJR9XZmbvxj0JAjkNZ4UB7RKtyXQYCJjRiw++zOkZJSca Cy44CFABiwdTvVC14mtYCmerAUKM59bmeUllpG9A= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4YsmzD3DTtz10wt; Tue, 11 Feb 2025 16:26:16 +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 4YsmzD22Zdz10wr; Tue, 11 Feb 2025 16:26:16 +0000 (UTC) From: Cayetano Santos Date: Tue, 11 Feb 2025 17:25:49 +0100 Message-ID: X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=93.190.126.19; envelope-from=csantosb@inventati.org; helo=confino.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, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, 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@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: -0.1 (/) * gnu/packages/electronics.scm (uhdm): New variable. Change-Id: I581fa4de57c377f6b2c99aa439fdfb98e2e472a9 --- gnu/packages/electronics.scm | 43 ++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index df0238c348..868bfb0571 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -38,6 +38,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages boost) #:use-module (gnu packages c) #:use-module (gnu packages check) + #:use-module (gnu packages cmake) #:use-module (gnu packages compression) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) @@ -52,10 +53,13 @@ (define-module (gnu packages electronics) #:use-module (gnu packages m4) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) #:use-module (gnu packages qt) #:use-module (gnu packages sdl) + #:use-module (gnu packages serialization) #:use-module (gnu packages sqlite) #:use-module (gnu packages stb) + #:use-module (gnu packages tls) #:use-module (gnu packages toolkits)) (define-public libserialport @@ -522,3 +526,42 @@ (define-public minipro Additionally your user must be member of the @code{plugdev} group.") (home-page "https://gitlab.com/DavidGriffith/minipro") (license license:gpl3+)))) + +(define-public uhdm + (package + (name "uhdm") + (version "1.84") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chipsalliance/UHDM/") + (commit (string-append "v" version)) + (recursive? #f))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1364kv8fg4nh76qs7j1h7sqfhsfav6bda9hcxkqhcgzsiysnxqwy")))) + (build-system gnu-build-system) + (arguments + (list + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "make" "test"))))) + #:make-flags #~(list (string-append "PREFIX=" + #$output)))) + (inputs (list python-orderedmultidict + python + cmake-minimal + openssl + zlib + googletest + capnproto)) + (home-page "https://github.com/chipsalliance/UHDM/") + (synopsis "Universal Hardware Data Model") + (description + "UHDM is a complete modeling of the IEEE SystemVerilog Object Model with +VPI Interface, Elaborator, Serialization, Visitor and Listener.") + (license license:asl2.0))) base-commit: e72b988cfb36f48ec8f43700fe0ad132acb98ca1 -- 2.48.1 From unknown Sun Jun 15 13:02:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76207] [PATCH v1] gnu: Add uhdm. References: In-Reply-To: Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 12 Feb 2025 10:03:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76207@debbugs.gnu.org Cc: Cayetano Santos Received: via spool by 76207-submit@debbugs.gnu.org id=B76207.173935452927174 (code B ref 76207); Wed, 12 Feb 2025 10:03:02 +0000 Received: (at 76207) by debbugs.gnu.org; 12 Feb 2025 10:02:09 +0000 Received: from localhost ([127.0.0.1]:32789 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ti9ZJ-00074E-5L for submit@debbugs.gnu.org; Wed, 12 Feb 2025 05:02:09 -0500 Received: from confino.investici.org ([93.190.126.19]:30745) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1ti9ZF-000741-HZ for 76207@debbugs.gnu.org; Wed, 12 Feb 2025 05:02:06 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1739354523; bh=01aKB3SEOhrJEwVLiqrxtVWOlnmpjUZ4PtUF8Yhp+l8=; h=From:To:Cc:Subject:Date:From; b=fUWTIVYR/TnblBMWx2PdPmZ02LDtOPcJnO1DNkonT2ySIlUQ/ud+Z/UB1LcgRf5jQ H+ul+F04jXF5YhxX+mQ1nl9DpbnbKtQNOtj+OXMa7tWECiFfwK0DhZiy3DGSyuriLw cQeId4rcjXAOGz16Ty7zJnarUsqS60hxCxBhTdS8= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4YtDPR4ytgz10wC; Wed, 12 Feb 2025 10:02:03 +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 4YtDPR3Xmnz10w6; Wed, 12 Feb 2025 10:02:03 +0000 (UTC) From: Cayetano Santos Date: Wed, 12 Feb 2025 11:01:04 +0100 Message-ID: <71df39a4d43dc1b6fbf9e7a1966139040b122796.1739354464.git.csantosb@inventati.org> X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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/electronics.scm (uhdm): New variable. Change-Id: I85438daefa41fae999500f19b6d0c2e4035d57a9 Signed-off-by: Cayetano Santos --- gnu/packages/electronics.scm | 44 ++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index df0238c348..9d6fbea936 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -38,6 +38,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages boost) #:use-module (gnu packages c) #:use-module (gnu packages check) + #:use-module (gnu packages cmake) #:use-module (gnu packages compression) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) @@ -52,6 +53,10 @@ (define-module (gnu packages electronics) #:use-module (gnu packages m4) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) + #:use-module (gnu packages serialization) + #:use-module (gnu packages swig) + #:use-module (gnu packages tls) #:use-module (gnu packages qt) #:use-module (gnu packages sdl) #:use-module (gnu packages sqlite) @@ -522,3 +527,42 @@ (define-public minipro Additionally your user must be member of the @code{plugdev} group.") (home-page "https://gitlab.com/DavidGriffith/minipro") (license license:gpl3+)))) + +(define-public uhdm + (package + (name "uhdm") + (version "1.84") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chipsalliance/UHDM/") + (commit (string-append "v" version)) + (recursive? #f))) + (file-name (git-file-name name version)) + (sha256 + (base32 "06i06wfyymhvmpnw79lgb84l9w9cyydvnr7n3bgmgf8a77jbxk2y")))) + (build-system gnu-build-system) + (arguments + (list + #:phases #~(modify-phases %standard-phases + (delete 'configure)) + #:test-target "test" + #:make-flags #~(list + "ADDITIONAL_CMAKE_OPTIONS=-DUHDM_USE_HOST_CAPNP=On -DUHDM_USE_HOST_GTEST=On" + (string-append "PREFIX=" + #$output)))) + (native-inputs (list pkg-config swig)) + (inputs (list capnproto + cmake-minimal + googletest + openssl + python + python-orderedmultidict + zlib)) + (home-page "https://github.com/chipsalliance/UHDM/") + (synopsis "Universal Hardware Data Model") + (description + "UHDM is a complete modeling of the IEEE SystemVerilog Object Model with +VPI Interface, Elaborator, Serialization, Visitor and Listener.") + (license license:asl2.0))) base-commit: d59a13b6401e7494d8d5c9c9f66df3318451be79 -- 2.48.1 From unknown Sun Jun 15 13:02:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76207] [PATCH] gnu: Add uhdm. References: In-Reply-To: Resent-From: Sharlatan Hellseher Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 19 Feb 2025 09:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76207@debbugs.gnu.org Received: via spool by 76207-submit@debbugs.gnu.org id=B76207.173995825930778 (code B ref 76207); Wed, 19 Feb 2025 09:45:02 +0000 Received: (at 76207) by debbugs.gnu.org; 19 Feb 2025 09:44:19 +0000 Received: from localhost ([127.0.0.1]:42599 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tkgcs-00080K-QL for submit@debbugs.gnu.org; Wed, 19 Feb 2025 04:44:19 -0500 Received: from mail-wm1-x333.google.com ([2a00:1450:4864:20::333]:59634) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tkgcp-0007zy-G9 for 76207@debbugs.gnu.org; Wed, 19 Feb 2025 04:44:16 -0500 Received: by mail-wm1-x333.google.com with SMTP id 5b1f17b1804b1-4394036c0efso40359885e9.2 for <76207@debbugs.gnu.org>; Wed, 19 Feb 2025 01:44:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1739958249; x=1740563049; darn=debbugs.gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=ZtoJep3InGHjNcvGiO5wWHDhE8xA2175O7ffimt7mfA=; b=joHalR4TvUXiIYm41QuOJFh7sSp4QQvsjncHUeSOZwvFC10/1lELjbPG86by/oQWZd 93XUcWDTwb9vMJxipdY5F2nRuYWj3hRGDh/IrWsuumhH691nSgjHNcZq10jpy8U+CvX9 UvUbfqLdsggZ0uBcvDSE48IWHgGajCqDth+F/+TNCNYQzV8nJWrE5DXeGVYZ/L79Cm5n QJq41Egiu5UIavB6pgESI4eky6RoRF3xGNZHKVU4aPd6hkaRVnXp1vGCSqEqRewu+gIT b/GTS4zLG+YDYtnZ8hRDel2OiL0pATAVubuiwZf2VohbIJiQ95Y+42yg/L/npScglzfk ovAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739958249; x=1740563049; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ZtoJep3InGHjNcvGiO5wWHDhE8xA2175O7ffimt7mfA=; b=sU/20V0wyRATPatGA6rymFO4bacSUQYEzTDryIOI7Ug9HSPwNxmQNrR2O637dCgQAC TS51rvU8Vt11p2zQG7nA3XW5O+X3IXjzGwrMvpqvs9RAP+SJs0DCWPO14Jv73gQe0G8M iFauJQgHa28JnaFQ1qBdsFuFUE+9mVJqjTiQfcC2X9OmL/2hLnopfUT3ZS7Tq6r3HoM8 TdQvm5bsUd6x6GcMGxDTXpJULMXTyCIJi6ZZpIjnFrdjjjrrkZKQAWLVJBQGQeMakHQY emrvVAFDuIaYHQn8Lcmgjd9pZ3yRsRXziV89p89taFYv26t8N2Rfm/yBoddYVaGiyek1 NqwA== X-Gm-Message-State: AOJu0Yy7kqt1hVZVwqtZz7hVG6qqvpsmYi0czoxg2Op4QJMiRrWoOpa9 xorjnXW96WkYUebxlrUAC8UcKEjxaG94SirkoisVr8Y+Lw5FQQAZKXuT4lF4 X-Gm-Gg: ASbGnctrf/Fyl+7TsumlTKQ5d0th7FhqWuqoq7PJj/XjoayaYO3QI0XlSQf2YP0dul2 Gah1YHF+sNMUZURxTA0O3eN7m7eQnwg5FHvf2xQCWln7Ka6qPCD7YI/uvTJSka9QwgPIGCF8KDC gTXTcbgStHiezePWYjv064UrmkWk9dGBxJEtBSXkeAjedsx8S6GTiN80zsgYpdiJx4YO8t2z5r8 NV9mXpOGUTar4nYiVw1BW978bHMpgzSJ3xTc3NIYl0FQNivRhvXQ+m9o5VBNzY0QoIVvUmXVk/0 wP6FWdQWjwW1+Y62lr7pWPLMsW6ZA9uRrDvJgJgMsjl4TwDg5Piqw89T5KBdecO0V5M= X-Google-Smtp-Source: AGHT+IHJT1vnSCE+X49kMJrWFGjaw/l+ZuPspP19eDRTbM3837aLIpk90jxdAYE6xUgqnoiBX/a+Gg== X-Received: by 2002:a05:600c:458a:b0:439:86fb:7340 with SMTP id 5b1f17b1804b1-43999ddb17cmr26842435e9.30.1739958248768; Wed, 19 Feb 2025 01:44:08 -0800 (PST) Received: from guxtil (cpc100684-bagu15-2-0-cust967.1-3.cable.virginm.net. [86.8.111.200]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43989087517sm74069965e9.8.2025.02.19.01.44.07 for <76207@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 19 Feb 2025 01:44:08 -0800 (PST) From: Sharlatan Hellseher Date: Wed, 19 Feb 2025 09:44:05 +0000 Message-ID: <87v7t69sm2.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) 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.0 (-) --=-=-= Content-Type: text/plain Hi, Thank you for the patch. Please check my review points: --8<---------------cut here---------------start------------->8--- + (inputs (list python-orderedmultidict + python + cmake-minimal + openssl + zlib + googletest + capnproto)) --8<---------------cut here---------------end--------------->8--- I contains build and runtime dependencies, let's split them out e.g. - native-inputs: + cmake-minimal + googletest + python-wrapper - inputs: + capnproto + openssl + python-orderedmultidict + zlib --8<---------------cut here---------------start------------->8--- + (uri (git-reference + (url "https://github.com/chipsalliance/UHDM/") + (commit (string-append "v" version)) + (recursive? #f))) --8<---------------cut here---------------end--------------->8--- Does it pull any extra dependencies? May you check if they may be replaced by available in Guix, if not provide some notes why it's not possible for now. Ok I see --8<---------------cut here---------------start------------->8--- capnproto @ 8c7e0fd decompile vpiHandle 2 years ago googletest @ 58d77fa Switch to current googletest release. 3 years ago Verilog_Object_Model.pdf --8<---------------cut here---------------end--------------->8--- Let's remove them as you already provided in inputs. --8<---------------cut here---------------start------------->8--- + (list + #:phases #~(modify-phases %standard-phases + (delete 'configure)) --8<---------------cut here---------------end--------------->8--- Please, provide some notes for the future package maintainer describing why you did this. License looks correct: --8<---------------cut here---------------start------------->8--- licensecheck -r UHDM | awk -F: '{print $2}' | sort | uniq -c | sort -rn 305 Apache License (v2.0) 63 *No copyright* UNKNOWN 19 Apache License (v2.0) GENERATED FILE 4 *No copyright* GENERATED FILE 2 UNKNOWN 1 *No copyright* Apache License (v2.0) --8<---------------cut here---------------end--------------->8--- Looking forward for v2! --- Oleg --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEmEeB3micIcJkGAhndtcnv/Ys0rUFAme1p+UACgkQdtcnv/Ys 0rW5dBAAv8EquBljm89TIsxDoli0AtYMfTv5NIKzKCgZfsFIjSRaV2WYwmyvNLFU QGqa3QhP3wyOjcDkUl013AhVV6oPKYGpMheXKBHXdzRrPymK3jM9eSfGjDakkqZJ EQhqRISdVgwGgyIhaxyTmHCxbeRexQHRxFIatgVO3Z2KlXHqNfbPtr/Ewa1+koQl yN/2KJF8UGPL/tPiNjyEwLfzHmTSppCnThcasVDYa35rRsvTLdQjIC/NSNdBr+uo MQJOfeJXSYbAGEXVBuZ/P7P492Ctuqr+mZ53lA1SyfSJp2vzMc6H0a8LA2yLcbUo 343DUPGgM8GcQ9pLHXp4+Q6MqDDesUFIbaHak6kuAL/6wLPeleA4ZSKllexRuJyO 6rXJIsaW/ZvCFuLNUaLnIh07f7vZmNOqRkUYIjJw0n1uq9aWr26mMfy+lMUNQKNk vX91rzG3muG4pSClOocA99gmiUsISxLNOMdHG2fzFTLaxKTxtCDQqhUacms/2EBO uPIen872WIVYdu2AciwpFoRpduMaTlUSiQsfU2knWe8RN0XJHXBpi7LYcFYqf/9K 0cFxjSWshWGgVFizWPWM7qOEoHzH1XAB9XuhoPIGxdpJ7SnKeonbcqGw/G4dh4wO j+GGFlcyTRi9IHMm4PGVklYZQHfu+6YOHOKYd2lk8PWtm9sxYAc= =jR5F -----END PGP SIGNATURE----- --=-=-=-- From unknown Sun Jun 15 13:02:19 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76207] [PATCH v2] gnu: Add uhdm. References: In-Reply-To: Resent-From: Cayetano Santos Original-Sender: "Debbugs-submit" Resent-CC: csantosb@inventati.org, maxim.cournoyer@gmail.com, guix-patches@gnu.org Resent-Date: Mon, 24 Feb 2025 11:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 76207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76207@debbugs.gnu.org Cc: Cayetano Santos , Cayetano Santos , Maxim Cournoyer X-Debbugs-Original-Xcc: Cayetano Santos , Maxim Cournoyer Received: via spool by 76207-submit@debbugs.gnu.org id=B76207.17403955997979 (code B ref 76207); Mon, 24 Feb 2025 11:14:02 +0000 Received: (at 76207) by debbugs.gnu.org; 24 Feb 2025 11:13:19 +0000 Received: from localhost ([127.0.0.1]:38693 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tmWOl-00024b-0r for submit@debbugs.gnu.org; Mon, 24 Feb 2025 06:13:19 -0500 Received: from devianza.investici.org ([2c0f:f930:0:4::108]:60395) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tmWOh-00024K-AC for 76207@debbugs.gnu.org; Mon, 24 Feb 2025 06:13:16 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1740395591; bh=CV4r0S0w4E/nzs64Y2oYXe34ddp32PRWPM8FavUAgd4=; h=From:To:Cc:Subject:Date:From; b=DnMC/GSS+iMFV39UbnlHgWWWOWzhilhu1H8+4xvhAZblw6msYeEygcQfzwnHxhZMR bArBhMoIP1vU5pwqi+03ApzjTe+0KFp1ePXS/64PkUwJEPQCel7YWL6F+9Hg9vb3c4 BDIZipLbKiJcBp851rqSNj1BmmIpnNOcVxxvq/jY= Received: from mx2.investici.org (unknown [127.0.0.1]) by devianza.investici.org (Postfix) with ESMTP id 4Z1dPz3Lkpz6v96; Mon, 24 Feb 2025 11:13:11 +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 4Z1dPz13c0z6v61; Mon, 24 Feb 2025 11:13:11 +0000 (UTC) From: Cayetano Santos Date: Mon, 24 Feb 2025 12:13:38 +0100 Message-ID: <791b038347043ba36e60f6cd797464e408ad448b.1740395618.git.csantosb@inventati.org> X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) 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/electronics.scm (uhdm): New variable. Change-Id: I85438daefa41fae999500f19b6d0c2e4035d57a9 --- gnu/packages/electronics.scm | 44 ++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index df0238c348..93e37cf9ee 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -38,6 +38,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages boost) #:use-module (gnu packages c) #:use-module (gnu packages check) + #:use-module (gnu packages cmake) #:use-module (gnu packages compression) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) @@ -52,6 +53,10 @@ (define-module (gnu packages electronics) #:use-module (gnu packages m4) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) + #:use-module (gnu packages serialization) + #:use-module (gnu packages swig) + #:use-module (gnu packages tls) #:use-module (gnu packages qt) #:use-module (gnu packages sdl) #:use-module (gnu packages sqlite) @@ -522,3 +527,42 @@ (define-public minipro Additionally your user must be member of the @code{plugdev} group.") (home-page "https://gitlab.com/DavidGriffith/minipro") (license license:gpl3+)))) + +(define-public uhdm + (package + (name "uhdm") + (version "1.84") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chipsalliance/UHDM/") + (commit (string-append "v" version)) + ;; avoid submodules, and use guix packages capnproto and + ;; googletest instead + (recursive? #f))) + (file-name (git-file-name name version)) + (sha256 + (base32 "06i06wfyymhvmpnw79lgb84l9w9cyydvnr7n3bgmgf8a77jbxk2y")))) + (build-system gnu-build-system) + (arguments + (list + #:phases + #~(modify-phases %standard-phases + ;; there is no configure stage, as for INSTALL.md + (delete 'configure)) + #:test-target "test" + #:make-flags + #~(list + "ADDITIONAL_CMAKE_OPTIONS=-DUHDM_USE_HOST_CAPNP=On -DUHDM_USE_HOST_GTEST=On" + (string-append "PREFIX=" + #$output)))) + (native-inputs (list cmake-minimal googletest pkg-config python-wrapper + swig)) + (inputs (list capnproto openssl python-orderedmultidict zlib)) + (home-page "https://github.com/chipsalliance/UHDM/") + (synopsis "Universal Hardware Data Model") + (description + "UHDM is a complete modeling of the IEEE SystemVerilog Object Model with +VPI Interface, Elaborator, Serialization, Visitor and Listener.") + (license license:asl2.0))) base-commit: c4fcf8fb627c9ea54a4a639a81766e5df3973fdc -- 2.48.1 From unknown Sun Jun 15 13:02:19 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Cayetano Santos Subject: bug#76207: closed (Re: [bug#76207] [PATCH v2] gnu: Add uhdm.) Message-ID: References: <87y0xjxp3b.fsf@gnu.org> X-Gnu-PR-Message: they-closed 76207 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 76207@debbugs.gnu.org Date: Wed, 05 Mar 2025 19:20:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1741202401-3663-1" This is a multi-part message in MIME format... ------------=_1741202401-3663-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #76207: [PATCH] gnu: Add uhdm. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 76207@debbugs.gnu.org. --=20 76207: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76207 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1741202401-3663-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 76207-done) by debbugs.gnu.org; 5 Mar 2025 19:19:32 +0000 Received: from localhost ([127.0.0.1]:39902 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tpuHE-0000wG-0f for submit@debbugs.gnu.org; Wed, 05 Mar 2025 14:19:32 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:42642) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tpuHC-0000vv-J2 for 76207-done@debbugs.gnu.org; Wed, 05 Mar 2025 14:19:31 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B70FC2A0; Wed, 5 Mar 2025 20:19:23 +0100 (CET) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id blNvXwPs8VYZ; Wed, 5 Mar 2025 20:19:23 +0100 (CET) Received: from ribbon (91-160-117-201.subs.proxad.net [91.160.117.201]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 0B4F410D; Wed, 5 Mar 2025 20:19:20 +0100 (CET) From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Cayetano Santos Subject: Re: [bug#76207] [PATCH v2] gnu: Add uhdm. In-Reply-To: <791b038347043ba36e60f6cd797464e408ad448b.1740395618.git.csantosb@inventati.org> (Cayetano Santos's message of "Mon, 24 Feb 2025 12:13:38 +0100") References: <791b038347043ba36e60f6cd797464e408ad448b.1740395618.git.csantosb@inventati.org> Date: Wed, 05 Mar 2025 20:19:20 +0100 Message-ID: <87y0xjxp3b.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Rspamd-Server: hera X-Rspamd-Queue-Id: B70FC2A0 X-Spamd-Result: default: False [4.90 / 15.00]; SPAM_FLAG(5.00)[]; BAYES_HAM(-3.00)[99.99%]; NEURAL_SPAM(3.00)[1.000]; MIME_GOOD(-0.10)[text/plain]; TO_DN_SOME(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; MIME_TRACE(0.00)[0:+]; ARC_NA(0.00)[]; TAGGED_RCPT(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; FROM_HAS_DN(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; RCPT_COUNT_THREE(0.00)[3]; FREEMAIL_CC(0.00)[debbugs.gnu.org,gmail.com] X-Spamd-Bar: ++++ X-Rspamd-Action: no action X-Spam-Level: **** X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 76207-done Cc: 76207-done@debbugs.gnu.org, Maxim Cournoyer 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: -0.0 (/) Cayetano Santos skribis: > * gnu/packages/electronics.scm (uhdm): New variable. > > Change-Id: I85438daefa41fae999500f19b6d0c2e4035d57a9 Applied, thanks! ------------=_1741202401-3663-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 11 Feb 2025 16:26:38 +0000 Received: from localhost ([127.0.0.1]:58251 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tht5p-0000qH-VY for submit@debbugs.gnu.org; Tue, 11 Feb 2025 11:26:38 -0500 Received: from lists.gnu.org ([2001:470:142::17]:33588) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tht5n-0000q0-Hy for submit@debbugs.gnu.org; Tue, 11 Feb 2025 11:26:36 -0500 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 1tht5d-0006VX-1E for guix-patches@gnu.org; Tue, 11 Feb 2025 11:26:25 -0500 Received: from confino.investici.org ([93.190.126.19]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tht5a-00037f-7p for guix-patches@gnu.org; Tue, 11 Feb 2025 11:26:24 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org; s=stigmate; t=1739291176; bh=u3RA/F6UrpsOjh2SfedLlZPpZVS45D0VcN9bMuIJ/D8=; h=From:To:Cc:Subject:Date:From; b=GayPFtegi1NBmCnwMwELfxKrPtycT+ld64opxOc9JMMaL7GqR6x3VXJFRKLRZzUdF PvhGCPyhHoX88yRyu8KGdcJR9XZmbvxj0JAjkNZ4UB7RKtyXQYCJjRiw++zOkZJSca Cy44CFABiwdTvVC14mtYCmerAUKM59bmeUllpG9A= Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4YsmzD3DTtz10wt; Tue, 11 Feb 2025 16:26:16 +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 4YsmzD22Zdz10wr; Tue, 11 Feb 2025 16:26:16 +0000 (UTC) From: Cayetano Santos To: guix-patches@gnu.org Subject: [PATCH] gnu: Add uhdm. Date: Tue, 11 Feb 2025 17:25:49 +0100 Message-ID: X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=93.190.126.19; envelope-from=csantosb@inventati.org; helo=confino.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, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, 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-Debbugs-Envelope-To: submit Cc: Cayetano Santos 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: -0.1 (/) * gnu/packages/electronics.scm (uhdm): New variable. Change-Id: I581fa4de57c377f6b2c99aa439fdfb98e2e472a9 --- gnu/packages/electronics.scm | 43 ++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm index df0238c348..868bfb0571 100644 --- a/gnu/packages/electronics.scm +++ b/gnu/packages/electronics.scm @@ -38,6 +38,7 @@ (define-module (gnu packages electronics) #:use-module (gnu packages boost) #:use-module (gnu packages c) #:use-module (gnu packages check) + #:use-module (gnu packages cmake) #:use-module (gnu packages compression) #:use-module (gnu packages documentation) #:use-module (gnu packages embedded) @@ -52,10 +53,13 @@ (define-module (gnu packages electronics) #:use-module (gnu packages m4) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) #:use-module (gnu packages qt) #:use-module (gnu packages sdl) + #:use-module (gnu packages serialization) #:use-module (gnu packages sqlite) #:use-module (gnu packages stb) + #:use-module (gnu packages tls) #:use-module (gnu packages toolkits)) (define-public libserialport @@ -522,3 +526,42 @@ (define-public minipro Additionally your user must be member of the @code{plugdev} group.") (home-page "https://gitlab.com/DavidGriffith/minipro") (license license:gpl3+)))) + +(define-public uhdm + (package + (name "uhdm") + (version "1.84") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/chipsalliance/UHDM/") + (commit (string-append "v" version)) + (recursive? #f))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1364kv8fg4nh76qs7j1h7sqfhsfav6bda9hcxkqhcgzsiysnxqwy")))) + (build-system gnu-build-system) + (arguments + (list + #:phases #~(modify-phases %standard-phases + (delete 'configure) + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "make" "test"))))) + #:make-flags #~(list (string-append "PREFIX=" + #$output)))) + (inputs (list python-orderedmultidict + python + cmake-minimal + openssl + zlib + googletest + capnproto)) + (home-page "https://github.com/chipsalliance/UHDM/") + (synopsis "Universal Hardware Data Model") + (description + "UHDM is a complete modeling of the IEEE SystemVerilog Object Model with +VPI Interface, Elaborator, Serialization, Visitor and Listener.") + (license license:asl2.0))) base-commit: e72b988cfb36f48ec8f43700fe0ad132acb98ca1 -- 2.48.1 ------------=_1741202401-3663-1--