diff options
| author | tv <tv@pkgsrc.org> | 2005-04-11 21:44:48 +0000 |
|---|---|---|
| committer | tv <tv@pkgsrc.org> | 2005-04-11 21:44:48 +0000 |
| commit | 915c0d730df55e4ddf04b9d9e07f7603057636e4 (patch) | |
| tree | 2d8b7b078f159a824fcd53503d6096a145f0f177 /lang/coq | |
| parent | 7453f22416c9b37d26567190d2eaf0f2af6b40fd (diff) | |
| download | pkgsrc-915c0d730df55e4ddf04b9d9e07f7603057636e4.tar.gz | |
Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 3 |
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 |