Re: [PR PATCH] [Updated] New package: idris-1.3.2

[voidlinux-github@inbox.vuxu.org]

[-- 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