CVS commit: pkgsrc/lang/idris

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Mon Oct 30 16:23:12 UTC 2023

Modified Files:
        pkgsrc/lang/idris: Makefile

Log Message:
lang/idris: comment


To generate a diff of this commit:
cvs rdiff -u -r1.18 -r1.19 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/Makefile
diff -u pkgsrc/lang/idris/Makefile:1.18 pkgsrc/lang/idris/Makefile:1.19
--- pkgsrc/lang/idris/Makefile:1.18     Mon Oct 30 15:39:56 2023
+++ pkgsrc/lang/idris/Makefile  Mon Oct 30 16:23:12 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.18 2023/10/30 15:39:56 pho Exp $
+# $NetBSD: Makefile,v 1.19 2023/10/30 16:23:12 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
@@ -12,6 +12,10 @@ 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   \