summaryrefslogtreecommitdiff
path: root/lang/Makefile
diff options
context:
space:
mode:
authorpho <pho@pkgsrc.org>2020-01-20 23:33:21 +0000
committerpho <pho@pkgsrc.org>2020-01-20 23:33:21 +0000
commit4321990f00b7a401b04a6fe4f6b336411b7c900c (patch)
tree0a160eaa4173b652885f29982c5c771b18200136 /lang/Makefile
parent934f7bb37e2128649488d1164e827316bf9f0d56 (diff)
downloadpkgsrc-4321990f00b7a401b04a6fe4f6b336411b7c900c.tar.gz
Add idris
Diffstat (limited to 'lang/Makefile')
-rw-r--r--lang/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/Makefile b/lang/Makefile
index feee91d461c..8da220fb4e3 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -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+= heirloom-awk
SUBDIR+= hs-hslua
SUBDIR+= hugs
SUBDIR+= icon
+SUBDIR+= idris
SUBDIR+= inform
SUBDIR+= intercal
SUBDIR+= ja-gawk