[pkgsrc/trunk]: pkgsrc/lang Add idris

[pho <pho%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/9e9a34e0ee20
branches:  trunk
changeset: 410353:9e9a34e0ee20
user:      pho <pho%pkgsrc.org@localhost>
date:      Mon Jan 20 23:33:21 2020 +0000

description:
Add idris

diffstat:

 lang/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 3b2913d4ec29 -r 9e9a34e0ee20 lang/Makefile
--- a/lang/Makefile     Mon Jan 20 23:32:47 2020 +0000
+++ b/lang/Makefile     Mon Jan 20 23:33:21 2020 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.540 2020/01/20 21:54:02 nia Exp $
+# $NetBSD: Makefile,v 1.541 2020/01/20 23:33:21 pho Exp $
 #
 
 COMMENT=       Programming languages
@@ -112,6 +112,7 @@
 SUBDIR+=       hs-hslua
 SUBDIR+=       hugs
 SUBDIR+=       icon
+SUBDIR+=       idris
 SUBDIR+=       inform
 SUBDIR+=       intercal
 SUBDIR+=       ja-gawk