Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] [WIP] New package: mathlibtools-1.1.1
@ 2022-05-27 20:43 Eloitor
  2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
                   ` (18 more replies)
  0 siblings, 19 replies; 20+ messages in thread
From: Eloitor @ 2022-05-27 20:43 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 2335 bytes --]

There is a new pull request by Eloitor against master on the void-packages repository

https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315

[WIP] New package: mathlibtools-1.1.1
<!-- Uncomment relevant sections and delete options which are not applicable -->

#### Testing the changes
- I tested the changes in this PR: **briefly**

#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**

#### Local build testing
- I built this PR locally for my native architecture, x86-64

I don't know how to make this work:
1. Install elan following the instructions from https://leanprover-community.github.io/install/linux.html
2. Install mathlibtools from this template

This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969    # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
  locally...
  Found local mathlib oleans
Located matching cache
Applying cache
  files extracted: 1 [00:00, 228.29/s]

Aborted!
```

I don't know what is happening. It should download the cached oleans.


A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4268 bytes --]

From 9db625e1c625a17b0d8a1babaf7ad9d08aeacd4d Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Fri, 27 May 2022 22:32:09 +0200
Subject: [PATCH] New package: mathlibtools-1.1.1

---
 srcpkgs/mathlibtools/template       | 18 ++++++++++++++++++
 srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
 srcpkgs/python3-PyGithub/template   | 15 +++++++++++++++
 srcpkgs/python3-pydot/template      | 19 +++++++++++++++++++
 4 files changed, 71 insertions(+)
 create mode 100644 srcpkgs/mathlibtools/template
 create mode 100644 srcpkgs/python3-Deprecated/template
 create mode 100644 srcpkgs/python3-PyGithub/template
 create mode 100644 srcpkgs/python3-pydot/template

diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..842bea5e92dd
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.1.1
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=fb63decc61f508d62edae40aa193d6607736fafda68b15c02d499d70ef9af18c
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+	vlicense LICENSE.rst
+}
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..29e1d913c678
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.55
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=c674e5cceba1f2cf0d7ea79da66cf31f1131e86c41cd66a2330890f74327c0e1
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+	vlicense LICENSE
+}

^ permalink raw reply	[flat|nested] 20+ messages in thread
end of thread, other threads:[~2023-08-04  1:50 UTC | newest]

Thread overview: 20+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
2022-05-27 20:56 ` Eloitor
2022-05-27 21:04 ` Eloitor
2022-05-28 14:17 ` Eloitor
2022-08-08 17:57 ` Eloitor
2022-09-23 21:36 ` [PR PATCH] [Updated] " Eloitor
2022-11-16 18:03 ` [PR PATCH] [Updated] New package: mathlibtools-1.1.2 Eloitor
2022-11-16 18:04 ` Eloitor
2022-11-16 18:12 ` [PR PATCH] [Updated] " Eloitor
2022-11-16 18:14 ` Eloitor
2022-11-16 22:12 ` New package: mathlibtools-1.2.0 Eloitor
2022-12-05 22:39 ` Eloitor
2022-12-05 22:57 ` [PR PATCH] [Updated] " Eloitor
2023-01-16 15:48 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.1 Eloitor
2023-01-19 14:55 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.2 Eloitor
2023-04-20  1:51 ` github-actions
2023-04-20 11:52 ` [PR PATCH] [Updated] " Eloitor
2023-07-20  1:53 ` github-actions
2023-08-04  1:50 ` [PR PATCH] [Closed]: " github-actions

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).