diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-09-27 18:03:12 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-09-27 23:25:43 +0100 |
| commit | 31b4c153e1890b72407ae2543d8d92da3753102e (patch) | |
| tree | 721fd18a94f679ff73e7e32e304fb3d987b9102f /gnu | |
| parent | 7c1eb3247abb4a5d9e1110e1baf999dc2fce3885 (diff) | |
gnu: python-mathlibtools: Switch to pyproject.
* gnu/packages/lean.scm (python-mathlibtools):
[source]: Switch to git-fetch.
[build-system]: Switch to pyproject-build-system.
[arguments]<#:test-flags>: Disable failing tests.
[native-inputs]: Add python-pytest, python-setuptools.
Change-Id: I48805383c0dd6fc4d033cbe7fe3e039cf388eb12
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/lean.scm | 40 |
1 files changed, 28 insertions, 12 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index 82bca77dd71..8229c7e7306 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -24,11 +24,12 @@ #:use-module (ice-9 match) #:use-module (gnu packages base) #:use-module (gnu packages bash) + #:use-module (gnu packages check) #:use-module (gnu packages llvm) #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) #:use-module (guix build-system cmake) - #:use-module (guix build-system python) + #:use-module (guix build-system pyproject) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix gexp) #:use-module (guix packages) @@ -165,18 +166,33 @@ interactive and automated theorem proving.") (package (name "python-mathlibtools") (version "1.1.1") - (source (origin - (method url-fetch) - (uri (pypi-uri "mathlibtools" version)) - (sha256 - (base32 - "089pql105imx8z7ar1wiz9fn000jp6xqdfixw4jf2vric94vn9fj")))) - (build-system python-build-system) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/leanprover-community/mathlib-tools") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1kllk99cd9vsbmb0ifi21gkhrg2w803z4y5xhx0a7hx3viyjb3cv")))) + (build-system pyproject-build-system) (arguments - '(#:phases (modify-phases %standard-phases - (add-before 'check 'fix-home-directory - (lambda _ - (setenv "HOME" "/tmp")))))) + (list + #:test-flags + #~(list "-k" + ;; These tests require network access. + (string-join (list "not test_new" + "test_add" + "test_upgrade_project" + "test_upgrade_mathlib" + "test_get_tutorials") + " and not ")) + #:phases + #~(modify-phases %standard-phases + (add-before 'check 'fix-home-directory + (lambda _ + (setenv "HOME" "/tmp")))))) + (native-inputs (list python-pytest python-setuptools)) (inputs (list python-toml python-pygithub python-certifi |