diff options
| author | kristerw <kristerw> | 2003-03-22 20:23:04 +0000 |
|---|---|---|
| committer | kristerw <kristerw> | 2003-03-22 20:23:04 +0000 |
| commit | 2ade2ba5946079c7bf36651c6682d870d5583b5c (patch) | |
| tree | 6523cbe38efd8720a7f3ec0d8b2633eb79faef0e | |
| parent | 7f7fda3da76470a33ff44b47dd85771f08b91c71 (diff) | |
| download | pkgsrc-2ade2ba5946079c7bf36651c6682d870d5583b5c.tar.gz | |
Add and enable coq.
| -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 |