GNU bug report logs - #54186
[PATCH] gnu: Add python-mathlibtools.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 54186 in the body.
You can then email your comments to 54186 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add python-mathlibtools.
Date: Sun, 27 Feb 2022 16:44:13 +0100

From da48bcdbc08c795fff77c1aed9b6d64192a699e3 Mon Sep 17 00:00:00 2001
From: Pradana AUMARS <paumars <at> courrier.dev>
Date: Sun, 27 Feb 2022 16:41:58 +0100
Subject: [PATCH] gnu: Add python-mathlibtools.

* gnu/packages/lean.scm (python-mathlibtools): New variable.
---
 gnu/packages/lean.scm | 46 ++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 45 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 6ac7f1668a..b959039e22 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -2,6 +2,7 @@
 ;;; Copyright © 2019 Amin Bandali <bandali <at> gnu.org>
 ;;; Copyright © 2020 Brett Gilio <brettg <at> gnu.org>
 ;;; Copyright © 2020 Tobias Geerinckx-Rice <me <at> tobias.gr>
+;;; Copyright © 2022 Pradana Aumars <paumars <at> courrier.dev>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -21,9 +22,17 @@
 (define-module (gnu packages lean)
   #:use-module (gnu packages multiprecision)
   #:use-module (guix build-system cmake)
+  #:use-module (guix build-system python)
   #:use-module ((guix licenses) #:prefix license:)
   #:use-module (guix packages)
-  #:use-module (guix git-download))
+  #:use-module (guix git-download)
+  #:use-module (guix download)
+  #:use-module (gnu packages graphviz)
+  #:use-module (gnu packages version-control)
+  #:use-module (gnu packages python-build)
+  #:use-module (gnu packages python-crypto)
+  #:use-module (gnu packages python-web)
+  #:use-module (gnu packages python-xyz))
 
 (define-public lean
   (package
@@ -72,3 +81,38 @@ (define-public lean
 core based on dependent typed theory, aiming to bridge the gap between
 interactive and automated theorem proving.")
     (license license:asl2.0)))
+
+(define-public python-mathlibtools
+  (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)
+   (arguments
+    '(#:phases (modify-phases %standard-phases
+			      (add-before 'check 'fix-home-directory
+					  (lambda _
+					    (setenv "HOME"
"/tmp"))))))
+   (inputs
+    (list python-toml
+	  python-pygithub
+	  python-certifi
+	  python-gitpython
+	  python-requests
+	  python-click
+	  python-tqdm
+	  python-networkx
+	  python-pydot
+	  python-pyyaml
+	  python-atomicwrites))
+   (home-page "https://github.com/leanprover-community/mathlib-tools")
+   (synopsis "Development tools for Lean mathlib")
+   (description
+    "This package contains leanproject, a supporting tool for Lean
mathlib.")
+   (license license:asl2.0)))
-- 
2.34.0

Message #10 received at 54186-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>
Cc: 54186-done <at> debbugs.gnu.org
Subject: Re: bug#54186: [PATCH] gnu: Add python-mathlibtools.
Date: Wed, 16 Mar 2022 15:26:11 +0100

Hi,

Pradana Adrinusa AUMARS <paumars <at> courrier.dev> skribis:

>>From da48bcdbc08c795fff77c1aed9b6d64192a699e3 Mon Sep 17 00:00:00 2001
> From: Pradana AUMARS <paumars <at> courrier.dev>
> Date: Sun, 27 Feb 2022 16:41:58 +0100
> Subject: [PATCH] gnu: Add python-mathlibtools.
>
> * gnu/packages/lean.scm (python-mathlibtools): New variable.

Applied.  I passed it through ‘guix style’ and expounded the description
a little bit.

> +					  (lambda _
> +					    (setenv "HOME"
> "/tmp"))))))

BTW, the message got mangled on its way (most likely the email client
split long lines, as in the example above).  Please use ‘git send-email’
or send them as attachment in the future:

  https://guix.gnu.org/manual/devel/en/html_node/Submitting-Patches.html

Thanks you!

Ludo’.

Previous Next

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