diff options
| author | kristerw <kristerw> | 2003-03-22 20:23:04 +0000 |
|---|---|---|
| committer | kristerw <kristerw> | 2003-03-22 20:23:04 +0000 |
| commit | 47bf2e6fe9c7ab55a209d82d9fca017f66018982 (patch) | |
| tree | 6523cbe38efd8720a7f3ec0d8b2633eb79faef0e /lang | |
| parent | 397fda67d89ef78861388935e0b82dbdca9a6c3c (diff) | |
| download | pkgsrc-47bf2e6fe9c7ab55a209d82d9fca017f66018982.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 |