diff options
| author | grant <grant@pkgsrc.org> | 2004-01-24 13:51:13 +0000 |
|---|---|---|
| committer | grant <grant@pkgsrc.org> | 2004-01-24 13:51:13 +0000 |
| commit | f1ab3f4ed4c653efaf578f0e0a88030d1d8d5e53 (patch) | |
| tree | 392f755759c8becb1ccb007770bef5095757eddd /lang/coq | |
| parent | 137d281145ee065f10beb27d3c0f66dae2cbe171 (diff) | |
| download | pkgsrc-f1ab3f4ed4c653efaf578f0e0a88030d1d8d5e53.tar.gz | |
replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.
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 f8d29c436af..c233e2d6bad 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.2 2003/06/23 20:36:13 jtb Exp $ +# $NetBSD: Makefile,v 1.3 2004/01/24 13:51:14 grant Exp $ # DISTNAME= coq-7.4 @@ -10,7 +10,7 @@ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://coq.inria.fr/ COMMENT= Theorem prover which extracts programs from proofs -USE_GMAKE= YES +USE_GNU_TOOLS+= make USE_BUILDLINK2= YES HAS_CONFIGURE= YES CONFIGURE_ARGS+= -prefix ${PREFIX} |