summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjlam <jlam@pkgsrc.org>2005-05-22 20:07:36 +0000
committerjlam <jlam@pkgsrc.org>2005-05-22 20:07:36 +0000
commit585534220c0ea1afd4b19eb9ffb4355e14576dcd (patch)
treeed91fd903dcb96e6914328617419b0659c2bb9f1 /lang/coq
parent9f94b112f01d9322b4806a06b02bdb565874da4d (diff)
downloadpkgsrc-585534220c0ea1afd4b19eb9ffb4355e14576dcd.tar.gz
Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:
USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index afb9f190f6f..d5a5f9b1b87 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.9 2005/04/11 21:46:13 tv Exp $
+# $NetBSD: Makefile,v 1.10 2005/05/22 20:08:09 jlam Exp $
#
DISTNAME= coq-8.0pl2
@@ -9,7 +9,7 @@ MAINTAINER= richards+netbsd@CS.Princeton.EDU
HOMEPAGE= http://coq.inria.fr/
COMMENT= Theorem prover which extracts programs from proofs
-USE_GNU_TOOLS+= make
+USE_TOOLS+= gmake
HAS_CONFIGURE= YES
CONFIGURE_ARGS+= -prefix ${PREFIX}
CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp