diff options
author | kristerw <kristerw@pkgsrc.org> | 2003-03-22 20:23:04 +0000 |
---|---|---|
committer | kristerw <kristerw@pkgsrc.org> | 2003-03-22 20:23:04 +0000 |
commit | 6e115a0551ca34465eabf3b744da7604a6d349f0 (patch) | |
tree | 6523cbe38efd8720a7f3ec0d8b2633eb79faef0e /lang | |
parent | 358f2678e542cb1b15ad25c43b8a9d20c5365994 (diff) | |
download | pkgsrc-6e115a0551ca34465eabf3b744da7604a6d349f0.tar.gz |
Add and enable coq.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/Makefile b/lang/Makefile index 038daa668fe..25eb6268137 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.147 2003/03/21 22:23:00 wiz Exp $ +# $NetBSD: Makefile,v 1.148 2003/03/22 20:23:04 kristerw Exp $ # COMMENT= Programming languages @@ -18,6 +18,7 @@ SUBDIR+= cilk SUBDIR+= cim SUBDIR+= cint SUBDIR+= clisp +SUBDIR+= coq SUBDIR+= cu-prolog SUBDIR+= drscheme #SUBDIR+= dylan-compiler # takes too long to build |