CVS commit: pkgsrc/lang/idris

["Masatake Daimon" <pho%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   pho
Date:           Fri May  3 07:36:41 UTC 2024

Modified Files:
        pkgsrc/lang/idris: DESCR Makefile

Log Message:
lang/idris (DESCR): Recommend migrating to lang/idris2


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris/DESCR
cvs rdiff -u -r1.21 -r1.22 pkgsrc/lang/idris/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/idris/DESCR
diff -u pkgsrc/lang/idris/DESCR:1.1 pkgsrc/lang/idris/DESCR:1.2
--- pkgsrc/lang/idris/DESCR:1.1 Mon Jan 20 23:32:38 2020
+++ pkgsrc/lang/idris/DESCR     Fri May  3 07:36:41 2024
@@ -4,3 +4,8 @@ predicated on values, meaning that some 
 behaviour can be specified precisely in the type. The language is
 closely related to Epigram and Agda. There is a tutorial at
 http://www.idris-lang.org/documentation
+
+This package provides Idris 1, which is no longer maintained by
+upstream. It's getting harder and harder to keep it compatible with newer
+versions of GHC, and next time it breaks we will remove this
+package. Existing users should migrate to lang/idris2 urgently.

Index: pkgsrc/lang/idris/Makefile
diff -u pkgsrc/lang/idris/Makefile:1.21 pkgsrc/lang/idris/Makefile:1.22
--- pkgsrc/lang/idris/Makefile:1.21     Thu May  2 11:51:20 2024
+++ pkgsrc/lang/idris/Makefile  Fri May  3 07:36:41 2024
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.21 2024/05/02 11:51:20 pho Exp $
+# $NetBSD: Makefile,v 1.22 2024/05/03 07:36:41 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
@@ -9,13 +9,6 @@ MAINTAINER=    pho%cielonegro.org@localhost
 COMMENT=       Functional Programming Language with Dependent Types
 LICENSE=       modified-bsd
 
-# Idris 1 is no longer maintained actively. We should consider packaging
-# Idris 2, which is much harder to package due to the way how it's
-# built: https://github.com/idris-lang/Idris2
-#
-# ...and it's getting harder and harder to keep it getting compiled with
-# newer GHC. We should really switch to Idris2, or at least stop manually
-# patching sources and use devel/retrie to automate it.
 HASKELL_UNRESTRICT_DEPENDENCIES+=      \
        aeson                   \
        ansi-terminal           \