From fa836740a9f091e43a50d374d99d83c4095394b3 Mon Sep 17 00:00:00 2001 From: kristerw Date: Sat, 22 Mar 2003 18:27:49 +0000 Subject: Add and enable coq. --- math/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'math') diff --git a/math/Makefile b/math/Makefile index c63649950f0..4e3e73cf3a2 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.97 2003/03/02 19:41:29 mjl Exp $ +# $NetBSD: Makefile,v 1.98 2003/03/22 18:27:49 kristerw Exp $ # COMMENT= Mathematics @@ -12,6 +12,7 @@ SUBDIR+= blas SUBDIR+= calc SUBDIR+= capc-calc SUBDIR+= cassowary +SUBDIR+= coq SUBDIR+= dcdflib.c SUBDIR+= dcdflib.f SUBDIR+= dfftpack -- cgit v1.2.3