diff options
| author | snj <snj@pkgsrc.org> | 2004-04-28 05:06:28 +0000 |
|---|---|---|
| committer | snj <snj@pkgsrc.org> | 2004-04-28 05:06:28 +0000 |
| commit | 4175a1077a20348497cb5786c1401f379a6cc2c2 (patch) | |
| tree | 9f5ef7bc2dfe04712e3830d689bfbe2b9e55736b /lang/coq | |
| parent | 80ddd62966249f210709eea22afe95fb17545ab0 (diff) | |
| download | pkgsrc-4175a1077a20348497cb5786c1401f379a6cc2c2.tar.gz | |
Convert to buildlink3.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index c233e2d6bad..fa8be2ad9dc 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.3 2004/01/24 13:51:14 grant Exp $ +# $NetBSD: Makefile,v 1.4 2004/04/28 05:06:28 snj Exp $ # DISTNAME= coq-7.4 @@ -11,7 +11,7 @@ HOMEPAGE= http://coq.inria.fr/ COMMENT= Theorem prover which extracts programs from proofs USE_GNU_TOOLS+= make -USE_BUILDLINK2= YES +USE_BUILDLINK3= YES HAS_CONFIGURE= YES CONFIGURE_ARGS+= -prefix ${PREFIX} CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp @@ -24,5 +24,5 @@ ALL_TARGET= world PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST .endif -.include "../../lang/ocaml/buildlink2.mk" +.include "../../lang/ocaml/buildlink3.mk" .include "../../mk/bsd.pkg.mk" |