* Re: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
@ 2021-08-17 21:48 ` ericonr
2021-08-17 22:30 ` Chocimier
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: ericonr @ 2021-08-17 21:48 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 214 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/32556#issuecomment-900653873
Comment:
IRC suggestion to name this lean3, since 4 is supposedly coming out soon.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
2021-08-17 21:48 ` ericonr
@ 2021-08-17 22:30 ` Chocimier
2021-08-18 3:28 ` Eloitor
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: Chocimier @ 2021-08-17 22:30 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 204 bytes --]
New comment by Chocimier on void-packages repository
https://github.com/void-linux/void-packages/pull/32556#issuecomment-900673874
Comment:
Is there a reason to use this over maintained lean-community?
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
2021-08-17 21:48 ` ericonr
2021-08-17 22:30 ` Chocimier
@ 2021-08-18 3:28 ` Eloitor
2021-08-18 3:29 ` Eloitor
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2021-08-18 3:28 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 380 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/32556#issuecomment-900784816
Comment:
> Is there a reason to use this over maintained lean-community?
Not really. This is my first template that I try to write, and I got recommended that the official lean has more chances to be included in the repo than lean-community.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
` (2 preceding siblings ...)
2021-08-18 3:28 ` Eloitor
@ 2021-08-18 3:29 ` Eloitor
2021-08-18 8:42 ` Eloitor
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2021-08-18 3:29 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 379 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/32556#issuecomment-900784816
Comment:
> Is there a reason to use this over maintained lean-community?
Not really. This is the first template that I try to write, and I got recommended that the official lean has more chances to be included in the repo than lean-community.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
` (3 preceding siblings ...)
2021-08-18 3:29 ` Eloitor
@ 2021-08-18 8:42 ` Eloitor
2021-08-20 6:55 ` [PR PATCH] [Updated] " Eloitor
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2021-08-18 8:42 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 229 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/32556#issuecomment-900933468
Comment:
Should I also make a package for https://github.com/leanprover-community/mathlib-tools ?
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PR PATCH] [Updated] New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
` (4 preceding siblings ...)
2021-08-18 8:42 ` Eloitor
@ 2021-08-20 6:55 ` Eloitor
2021-08-25 22:30 ` Eloitor
2022-05-27 21:37 ` [PR PATCH] [Closed]: " Eloitor
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2021-08-20 6:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 1575 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages lean
https://github.com/void-linux/void-packages/pull/32556
New package: lean-3.4.2
<!-- Mark items with [x] where applicable -->
#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)
#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR
<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully?
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
- [ ] aarch64-musl
- [ ] armv7l
- [ ] armv6l-musl
A patch file from https://github.com/void-linux/void-packages/pull/32556.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-32556.patch --]
[-- Type: text/x-diff, Size: 1659 bytes --]
From 88596a35405a76e292f387fd4f2397176f01d3fb Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitorrentsj@gmail.com>
Date: Tue, 17 Aug 2021 23:09:31 +0200
Subject: [PATCH 1/2] New package: lean-3.4.2
---
srcpkgs/lean/template | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100644 srcpkgs/lean/template
diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template
new file mode 100644
index 000000000000..a6f161ce6ce8
--- /dev/null
+++ b/srcpkgs/lean/template
@@ -0,0 +1,16 @@
+# Template file for 'lean'
+pkgname=lean
+version=3.4.2
+revision=1
+build_wrksrc=src
+build_style=cmake
+#make_cmd=ninja
+hostmakedepends="cmake gmp"
+makedepends="gmp-devel"
+depends="gmp"
+short_desc="Lean Theorem Prover, maintained by the Lean community"
+maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover/lean"
+distfiles="${homepage}/archive/v${version}.tar.gz"
+checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
From cc9096a1332cc56be0caf206d647f66407d4c1ea Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloi.torrentsj@gmail.com>
Date: Fri, 20 Aug 2021 08:55:27 +0200
Subject: [PATCH 2/2] New package: lean-3.4.2
---
srcpkgs/lean/template | 1 +
1 file changed, 1 insertion(+)
diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template
index a6f161ce6ce8..5e516e88ea6b 100644
--- a/srcpkgs/lean/template
+++ b/srcpkgs/lean/template
@@ -14,3 +14,4 @@ license="Apache-2.0"
homepage="https://github.com/leanprover/lean"
distfiles="${homepage}/archive/v${version}.tar.gz"
checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
+nocross=yes
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PR PATCH] [Updated] New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
` (5 preceding siblings ...)
2021-08-20 6:55 ` [PR PATCH] [Updated] " Eloitor
@ 2021-08-25 22:30 ` Eloitor
2022-05-27 21:37 ` [PR PATCH] [Closed]: " Eloitor
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2021-08-25 22:30 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 1575 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages lean
https://github.com/void-linux/void-packages/pull/32556
New package: lean-3.4.2
<!-- Mark items with [x] where applicable -->
#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)
#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR
<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully?
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
- [ ] aarch64-musl
- [ ] armv7l
- [ ] armv6l-musl
A patch file from https://github.com/void-linux/void-packages/pull/32556.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-32556.patch --]
[-- Type: text/x-diff, Size: 1659 bytes --]
From 88596a35405a76e292f387fd4f2397176f01d3fb Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitorrentsj@gmail.com>
Date: Tue, 17 Aug 2021 23:09:31 +0200
Subject: [PATCH 1/2] New package: lean-3.4.2
---
srcpkgs/lean/template | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100644 srcpkgs/lean/template
diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template
new file mode 100644
index 000000000000..a6f161ce6ce8
--- /dev/null
+++ b/srcpkgs/lean/template
@@ -0,0 +1,16 @@
+# Template file for 'lean'
+pkgname=lean
+version=3.4.2
+revision=1
+build_wrksrc=src
+build_style=cmake
+#make_cmd=ninja
+hostmakedepends="cmake gmp"
+makedepends="gmp-devel"
+depends="gmp"
+short_desc="Lean Theorem Prover, maintained by the Lean community"
+maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover/lean"
+distfiles="${homepage}/archive/v${version}.tar.gz"
+checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
From cc9096a1332cc56be0caf206d647f66407d4c1ea Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloi.torrentsj@gmail.com>
Date: Fri, 20 Aug 2021 08:55:27 +0200
Subject: [PATCH 2/2] New package: lean-3.4.2
---
srcpkgs/lean/template | 1 +
1 file changed, 1 insertion(+)
diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template
index a6f161ce6ce8..5e516e88ea6b 100644
--- a/srcpkgs/lean/template
+++ b/srcpkgs/lean/template
@@ -14,3 +14,4 @@ license="Apache-2.0"
homepage="https://github.com/leanprover/lean"
distfiles="${homepage}/archive/v${version}.tar.gz"
checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
+nocross=yes
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PR PATCH] [Closed]: New package: lean-3.4.2
2021-08-17 21:15 [PR PATCH] New package: lean-3.4.2 Eloitor
` (6 preceding siblings ...)
2021-08-25 22:30 ` Eloitor
@ 2022-05-27 21:37 ` Eloitor
7 siblings, 0 replies; 9+ messages in thread
From: Eloitor @ 2022-05-27 21:37 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 1422 bytes --]
There's a closed pull request on the void-packages repository
New package: lean-3.4.2
https://github.com/void-linux/void-packages/pull/32556
Description:
<!-- Mark items with [x] where applicable -->
#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)
#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR
<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully?
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
- [ ] aarch64-musl
- [ ] armv7l
- [ ] armv6l-musl
^ permalink raw reply [flat|nested] 9+ messages in thread