diff options
| author | jlam <jlam@pkgsrc.org> | 2005-05-22 20:07:36 +0000 |
|---|---|---|
| committer | jlam <jlam@pkgsrc.org> | 2005-05-22 20:07:36 +0000 |
| commit | 585534220c0ea1afd4b19eb9ffb4355e14576dcd (patch) | |
| tree | ed91fd903dcb96e6914328617419b0659c2bb9f1 /lang/coq | |
| parent | 9f94b112f01d9322b4806a06b02bdb565874da4d (diff) | |
| download | pkgsrc-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/Makefile | 4 |
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 |