CVS commit: pkgsrc/lang/idris

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Sat Feb  1 13:07:15 UTC 2025

Modified Files:
        pkgsrc/lang/idris: Makefile

Log Message:
lang/idris: Fix build with GHC 9.10


To generate a diff of this commit:
cvs rdiff -u -r1.23 -r1.24 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.23 pkgsrc/lang/idris/Makefile:1.24
--- pkgsrc/lang/idris/Makefile:1.23     Thu May  9 01:32:24 2024
+++ pkgsrc/lang/idris/Makefile  Sat Feb  1 13:07:15 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.23 2024/05/09 01:32:24 pho Exp $
+# $NetBSD: Makefile,v 1.24 2025/02/01 13:07:15 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
@@ -14,7 +14,9 @@ HASKELL_UNRESTRICT_DEPENDENCIES+=     \
        ansi-terminal           \
        ansi-wl-pprint          \
        bytestring              \
+       containers              \
        deepseq                 \
+       filepath                \
        fsnotify                \
        libffi                  \
        mtl                     \