GNU bug report logs - #58310
[PATCH] Add coq-mathcomp-analysis

Previous Next

Full log

Message #14 received at 58310 <at> debbugs.gnu.org (full text, mbox):

From: Garek Dyszel <garekdyszel <at> disroot.org>
To: 58310 <at> debbugs.gnu.org
Subject: [PATCH 03/14] gnu: Add python-setuptools-scm-7.*
 gnu/packages/python-build.scm (python-setuptools-scm-7): New variable.
Date: Wed, 05 Oct 2022 13:41:33 -0400

* gnu/packages/python-build.scm (python-setuptools-scm-7): New variable.
---
 gnu/packages/python-build.scm | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/gnu/packages/python-build.scm b/gnu/packages/python-build.scm
index 9d9b07f769..e17cde16d9 100644
--- a/gnu/packages/python-build.scm
+++ b/gnu/packages/python-build.scm
@@ -476,6 +476,25 @@ (define-public python-setuptools-scm
 them as the version argument or in a SCM managed file.")
     (license license:expat)))
 
+(define-public python-setuptools-scm-7
+  (package
+    (inherit python-setuptools-scm)
+    (version "7.0.5")
+    (source (origin
+              (method url-fetch)
+              (uri (pypi-uri "setuptools_scm" version))
+              (sha256
+               (base32
+                "0i28zghzdzzkm9w8rrjwphggkfs58nh6xnqsjhmqjvqxfypi67h3"))))
+    (build-system python-build-system)
+    (arguments
+     `( ;Disabled tests to avoid extra dependencies.
+       #:tests? #f
+       #:phases (modify-phases %standard-phases
+                  ;; Disabled sanity check to avoid extra dependencies.
+                  (delete 'sanity-check))))
+    (propagated-inputs (list python-packaging-bootstrap python-tomli))))
+
 (define-public python-editables
   (package
     (name "python-editables")
-- 
2.37.3

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.