summaryrefslogtreecommitdiff
path: root/lang/coq/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r--lang/coq/Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index d54289f7a7d..afb9f190f6f 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.8 2005/02/05 11:19:02 adrianp Exp $
+# $NetBSD: Makefile,v 1.9 2005/04/11 21:46:13 tv Exp $
#
DISTNAME= coq-8.0pl2
@@ -10,7 +10,6 @@ HOMEPAGE= http://coq.inria.fr/
COMMENT= Theorem prover which extracts programs from proofs
USE_GNU_TOOLS+= make
-USE_BUILDLINK3= YES
HAS_CONFIGURE= YES
CONFIGURE_ARGS+= -prefix ${PREFIX}
CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp