diff options
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index fb1f48ac93c..173aad8c678 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.47 2012/10/02 17:11:26 tron Exp $ +# $NetBSD: Makefile,v 1.48 2012/10/02 20:11:37 asau Exp $ # DISTNAME= coq-8.3pl1 @@ -11,8 +11,6 @@ HOMEPAGE= http://coq.inria.fr/ COMMENT= Theorem prover which extracts programs from proofs LICENSE= gnu-lgpl-v2.1 -PKG_DESTDIR_SUPPORT= user-destdir - USE_TOOLS+= gmake HAS_CONFIGURE= YES CONFIGURE_ARGS+= -prefix ${PREFIX} |