* Re: [PR PATCH] [Updated] New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
@ 2019-09-17 14:55 ` voidlinux-github
2019-09-17 14:55 ` voidlinux-github
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: voidlinux-github @ 2019-09-17 14:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 431 bytes --]
There is an updated pull request by zhengqunkoo against master on the void-packages repository
https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522
New package: idris-1.3.2
Regarding quality requirements: [Idris2](https://github.com/edwinb/Idris2), when packaged, will require Idris.
A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-idris-14522.patch --]
[-- Type: text/x-diff, Size: 2553 bytes --]
From 49bec658fba0f0a6dbd56974f6389354d61d1320 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:01:35 +0200
Subject: [PATCH 1/3] New package: idris-1.3.2
---
srcpkgs/idris/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/idris/template
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
new file mode 100644
index 00000000000..de82f1a2fa8
--- /dev/null
+++ b/srcpkgs/idris/template
@@ -0,0 +1,19 @@
+# Template file for 'idris'
+pkgname=idris
+version=1.3.2
+revision=1
+build_style=haskell-stack
+hostmakedepends="pkg-config ghc stack"
+makedepends="zlib-devel ncurses-devel"
+short_desc="Functional Programming Language with Dependent Types"
+maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
+license="BSD-3-Clause"
+homepage="https://www.idris-lang.org/"
+distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
+nocross=yes
+nopie=yes
+
+post_install() {
+ vlicense LICENSE
+}
From 13ad12f64fae02750735d3c7ccedfb2e538a3b83 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:54:53 +0200
Subject: [PATCH 2/3] Say that license is custom
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index de82f1a2fa8..d5c366d2c60 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="BSD-3-Clause"
+license="custom"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
From 15d1aadd6059f0391d8220291490ac96acf0386e Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:55:16 +0200
Subject: [PATCH 3/3] Use tab instead of spaces
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index d5c366d2c60..3c99deba41c 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -15,5 +15,5 @@ nocross=yes
nopie=yes
post_install() {
- vlicense LICENSE
+ vlicense LICENSE
}
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: [PR PATCH] [Updated] New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
2019-09-17 14:55 ` [PR PATCH] [Updated] " voidlinux-github
@ 2019-09-17 14:55 ` voidlinux-github
2019-09-17 18:34 ` voidlinux-github
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: voidlinux-github @ 2019-09-17 14:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 431 bytes --]
There is an updated pull request by zhengqunkoo against master on the void-packages repository
https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522
New package: idris-1.3.2
Regarding quality requirements: [Idris2](https://github.com/edwinb/Idris2), when packaged, will require Idris.
A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-idris-14522.patch --]
[-- Type: text/x-diff, Size: 2553 bytes --]
From 49bec658fba0f0a6dbd56974f6389354d61d1320 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:01:35 +0200
Subject: [PATCH 1/3] New package: idris-1.3.2
---
srcpkgs/idris/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/idris/template
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
new file mode 100644
index 00000000000..de82f1a2fa8
--- /dev/null
+++ b/srcpkgs/idris/template
@@ -0,0 +1,19 @@
+# Template file for 'idris'
+pkgname=idris
+version=1.3.2
+revision=1
+build_style=haskell-stack
+hostmakedepends="pkg-config ghc stack"
+makedepends="zlib-devel ncurses-devel"
+short_desc="Functional Programming Language with Dependent Types"
+maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
+license="BSD-3-Clause"
+homepage="https://www.idris-lang.org/"
+distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
+nocross=yes
+nopie=yes
+
+post_install() {
+ vlicense LICENSE
+}
From 13ad12f64fae02750735d3c7ccedfb2e538a3b83 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:54:53 +0200
Subject: [PATCH 2/3] Say that license is custom
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index de82f1a2fa8..d5c366d2c60 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="BSD-3-Clause"
+license="custom"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
From 15d1aadd6059f0391d8220291490ac96acf0386e Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:55:16 +0200
Subject: [PATCH 3/3] Use tab instead of spaces
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index d5c366d2c60..3c99deba41c 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -15,5 +15,5 @@ nocross=yes
nopie=yes
post_install() {
- vlicense LICENSE
+ vlicense LICENSE
}
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: [PR PATCH] [Updated] New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
2019-09-17 14:55 ` [PR PATCH] [Updated] " voidlinux-github
2019-09-17 14:55 ` voidlinux-github
@ 2019-09-17 18:34 ` voidlinux-github
2019-09-17 18:34 ` voidlinux-github
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: voidlinux-github @ 2019-09-17 18:34 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 600 bytes --]
There is an updated pull request by zhengqunkoo against master on the void-packages repository
https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522
New package: idris-1.3.2
Regarding quality requirements: [`Idris2`](https://github.com/edwinb/Idris2), when packaged, will require `Idris`.
Unfortunately, building `Idris` via `haskell-stack` excludes the `Builtins` and `Prelude` modules, which means no REPL and no compilation of `Idris2` is possible.
A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-idris-14522.patch --]
[-- Type: text/x-diff, Size: 3533 bytes --]
From 49bec658fba0f0a6dbd56974f6389354d61d1320 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:01:35 +0200
Subject: [PATCH 1/4] New package: idris-1.3.2
---
srcpkgs/idris/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/idris/template
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
new file mode 100644
index 00000000000..de82f1a2fa8
--- /dev/null
+++ b/srcpkgs/idris/template
@@ -0,0 +1,19 @@
+# Template file for 'idris'
+pkgname=idris
+version=1.3.2
+revision=1
+build_style=haskell-stack
+hostmakedepends="pkg-config ghc stack"
+makedepends="zlib-devel ncurses-devel"
+short_desc="Functional Programming Language with Dependent Types"
+maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
+license="BSD-3-Clause"
+homepage="https://www.idris-lang.org/"
+distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
+nocross=yes
+nopie=yes
+
+post_install() {
+ vlicense LICENSE
+}
From 13ad12f64fae02750735d3c7ccedfb2e538a3b83 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:54:53 +0200
Subject: [PATCH 2/4] Say that license is custom
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index de82f1a2fa8..d5c366d2c60 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="BSD-3-Clause"
+license="custom"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
From 15d1aadd6059f0391d8220291490ac96acf0386e Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:55:16 +0200
Subject: [PATCH 3/4] Use tab instead of spaces
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index d5c366d2c60..3c99deba41c 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -15,5 +15,5 @@ nocross=yes
nopie=yes
post_install() {
- vlicense LICENSE
+ vlicense LICENSE
}
From 15beca21c6eeefd0f9dfab89477df1489a4d7152 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 20:34:19 +0200
Subject: [PATCH 4/4] Revert "Say that license is custom"
This reverts commit 13ad12f64fae02750735d3c7ccedfb2e538a3b83.
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index 3c99deba41c..8223b42d7ea 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="custom"
+license="BSD-3-Clause"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: [PR PATCH] [Updated] New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
` (2 preceding siblings ...)
2019-09-17 18:34 ` voidlinux-github
@ 2019-09-17 18:34 ` voidlinux-github
2019-09-18 4:40 ` voidlinux-github
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: voidlinux-github @ 2019-09-17 18:34 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 600 bytes --]
There is an updated pull request by zhengqunkoo against master on the void-packages repository
https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522
New package: idris-1.3.2
Regarding quality requirements: [`Idris2`](https://github.com/edwinb/Idris2), when packaged, will require `Idris`.
Unfortunately, building `Idris` via `haskell-stack` excludes the `Builtins` and `Prelude` modules, which means no REPL and no compilation of `Idris2` is possible.
A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-idris-14522.patch --]
[-- Type: text/x-diff, Size: 3533 bytes --]
From 49bec658fba0f0a6dbd56974f6389354d61d1320 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:01:35 +0200
Subject: [PATCH 1/4] New package: idris-1.3.2
---
srcpkgs/idris/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/idris/template
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
new file mode 100644
index 00000000000..de82f1a2fa8
--- /dev/null
+++ b/srcpkgs/idris/template
@@ -0,0 +1,19 @@
+# Template file for 'idris'
+pkgname=idris
+version=1.3.2
+revision=1
+build_style=haskell-stack
+hostmakedepends="pkg-config ghc stack"
+makedepends="zlib-devel ncurses-devel"
+short_desc="Functional Programming Language with Dependent Types"
+maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
+license="BSD-3-Clause"
+homepage="https://www.idris-lang.org/"
+distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
+nocross=yes
+nopie=yes
+
+post_install() {
+ vlicense LICENSE
+}
From 13ad12f64fae02750735d3c7ccedfb2e538a3b83 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:54:53 +0200
Subject: [PATCH 2/4] Say that license is custom
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index de82f1a2fa8..d5c366d2c60 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="BSD-3-Clause"
+license="custom"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
From 15d1aadd6059f0391d8220291490ac96acf0386e Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:55:16 +0200
Subject: [PATCH 3/4] Use tab instead of spaces
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index d5c366d2c60..3c99deba41c 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -15,5 +15,5 @@ nocross=yes
nopie=yes
post_install() {
- vlicense LICENSE
+ vlicense LICENSE
}
From 15beca21c6eeefd0f9dfab89477df1489a4d7152 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 20:34:19 +0200
Subject: [PATCH 4/4] Revert "Say that license is custom"
This reverts commit 13ad12f64fae02750735d3c7ccedfb2e538a3b83.
---
srcpkgs/idris/template | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index 3c99deba41c..8223b42d7ea 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
makedepends="zlib-devel ncurses-devel"
short_desc="Functional Programming Language with Dependent Types"
maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="custom"
+license="BSD-3-Clause"
homepage="https://www.idris-lang.org/"
distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
` (3 preceding siblings ...)
2019-09-17 18:34 ` voidlinux-github
@ 2019-09-18 4:40 ` voidlinux-github
2021-11-06 21:33 ` [PR PATCH] [Closed]: " abenson
2021-11-06 21:33 ` abenson
6 siblings, 0 replies; 8+ messages in thread
From: voidlinux-github @ 2019-09-18 4:40 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 460 bytes --]
New comment by zhengqunkoo on void-packages repository
https://github.com/void-linux/void-packages/pull/14522#issuecomment-532515322
Comment:
All failed checks begin with:
```
/usr/bin/ld: /usr/lib/gcc/x86_64-linux-musl/9.2.0/../../../../lib/crt1.o: in function `_start_c':
/builddir/musl-1.1.23/crt/crt1.c:18:0: error:
undefined reference to `main'
```
As far as I know, this is caused by missing ghc or missing stack hostmakedependencies.
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: [PR PATCH] [Closed]: New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
` (4 preceding siblings ...)
2019-09-18 4:40 ` voidlinux-github
@ 2021-11-06 21:33 ` abenson
2021-11-06 21:33 ` abenson
6 siblings, 0 replies; 8+ messages in thread
From: abenson @ 2021-11-06 21:33 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 438 bytes --]
There's a closed pull request on the void-packages repository
New package: idris-1.3.2
https://github.com/void-linux/void-packages/pull/14522
Description:
Regarding quality requirements: [`Idris2`](https://github.com/edwinb/Idris2), when packaged, will require `Idris`.
Unfortunately, building `Idris` via `haskell-stack` excludes the `Builtins` and `Prelude` modules, which means no REPL and no compilation of `Idris2` is possible.
^ permalink raw reply [flat|nested] 8+ messages in thread* Re: New package: idris-1.3.2
2019-09-17 14:11 [PR PATCH] New package: idris-1.3.2 voidlinux-github
` (5 preceding siblings ...)
2021-11-06 21:33 ` [PR PATCH] [Closed]: " abenson
@ 2021-11-06 21:33 ` abenson
6 siblings, 0 replies; 8+ messages in thread
From: abenson @ 2021-11-06 21:33 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 161 bytes --]
New comment by abenson on void-packages repository
https://github.com/void-linux/void-packages/pull/14522#issuecomment-962512867
Comment:
Seemingly abandoned.
^ permalink raw reply [flat|nested] 8+ messages in thread