Fri May 3 07:36:41 2024 UTC (25d)
lang/idris (DESCR): Recommend migrating to lang/idris2


(pho)
diff -r1.1 -r1.2 pkgsrc/lang/idris/DESCR
diff -r1.21 -r1.22 pkgsrc/lang/idris/Makefile
cvs diff -r1.1 -r1.2 pkgsrc/lang/idris/DESCR (expand / switch to unified diff)

--- pkgsrc/lang/idris/DESCR 2020/01/20 23:32:38 1.1
+++ pkgsrc/lang/idris/DESCR 2024/05/03 07:36:41 1.2
@@ -1,6 +1,11 @@ @@ -1,6 +1,11 @@
1Idris is a general purpose language with full dependent types. It is 1Idris is a general purpose language with full dependent types. It is
2compiled, with eager evaluation. Dependent types allow types to be 2compiled, with eager evaluation. Dependent types allow types to be
3predicated on values, meaning that some aspects of a program's 3predicated on values, meaning that some aspects of a program's
4behaviour can be specified precisely in the type. The language is 4behaviour can be specified precisely in the type. The language is
5closely related to Epigram and Agda. There is a tutorial at 5closely related to Epigram and Agda. There is a tutorial at
6http://www.idris-lang.org/documentation 6http://www.idris-lang.org/documentation
 7
 8This package provides Idris 1, which is no longer maintained by
 9upstream. It's getting harder and harder to keep it compatible with newer
 10versions of GHC, and next time it breaks we will remove this
 11package. Existing users should migrate to lang/idris2 urgently.
cvs diff -r1.21 -r1.22 pkgsrc/lang/idris/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/idris/Makefile 2024/05/02 11:51:20 1.21
+++ pkgsrc/lang/idris/Makefile 2024/05/03 07:36:41 1.22
@@ -1,31 +1,24 @@ @@ -1,31 +1,24 @@
1# $NetBSD: Makefile,v 1.21 2024/05/02 11:51:20 pho Exp $ 1# $NetBSD: Makefile,v 1.22 2024/05/03 07:36:41 pho Exp $
2 2
3DISTNAME= idris-1.3.4 3DISTNAME= idris-1.3.4
4PKGNAME= ${DISTNAME} 4PKGNAME= ${DISTNAME}
5PKGREVISION= 9 5PKGREVISION= 9
6CATEGORIES= lang 6CATEGORIES= lang
7 7
8MAINTAINER= pho@cielonegro.org 8MAINTAINER= pho@cielonegro.org
9COMMENT= Functional Programming Language with Dependent Types 9COMMENT= Functional Programming Language with Dependent Types
10LICENSE= modified-bsd 10LICENSE= modified-bsd
11 11
12# Idris 1 is no longer maintained actively. We should consider packaging 
13# Idris 2, which is much harder to package due to the way how it's 
14# built: https://github.com/idris-lang/Idris2 
15# 
16# ...and it's getting harder and harder to keep it getting compiled with 
17# newer GHC. We should really switch to Idris2, or at least stop manually 
18# patching sources and use devel/retrie to automate it. 
19HASKELL_UNRESTRICT_DEPENDENCIES+= \ 12HASKELL_UNRESTRICT_DEPENDENCIES+= \
20 aeson \ 13 aeson \
21 ansi-terminal \ 14 ansi-terminal \
22 ansi-wl-pprint \ 15 ansi-wl-pprint \
23 bytestring \ 16 bytestring \
24 deepseq \ 17 deepseq \
25 fsnotify \ 18 fsnotify \
26 libffi \ 19 libffi \
27 mtl \ 20 mtl \
28 network \ 21 network \
29 optparse-applicative \ 22 optparse-applicative \
30 text \ 23 text \
31 transformers \ 24 transformers \