diff options
author | asau <asau@pkgsrc.org> | 2012-10-02 20:11:34 +0000 |
---|---|---|
committer | asau <asau@pkgsrc.org> | 2012-10-02 20:11:34 +0000 |
commit | 03b2363e06490a335548301fb31e1f444a8a0d82 (patch) | |
tree | 70a00b8f60d7401066bef0246bd055b4efc68dae /lang/coq | |
parent | 68693d896ab18ec8714e7123f906cabe4ff98b1c (diff) | |
download | pkgsrc-03b2363e06490a335548301fb31e1f444a8a0d82.tar.gz |
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Diffstat (limited to 'lang/coq')
-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} |