diff options
| author | tonio <tonio> | 2007-01-17 11:14:46 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2007-01-17 11:14:46 +0000 |
| commit | 04b3f634fd562459c4b693ad4a89dbddc5484313 (patch) | |
| tree | 97f7ecc0121bf40f57c8938f7d7abe9515795e8d | |
| parent | 10d51dee3d500f488015b947a2037637207b4769 (diff) | |
| download | pkgsrc-04b3f634fd562459c4b693ad4a89dbddc5484313.tar.gz | |
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies
| -rw-r--r-- | lang/coq/Makefile | 17 | ||||
| -rw-r--r-- | lang/coq/PLIST | 4 | ||||
| -rw-r--r-- | lang/coq/PLIST.opt | 3 |
3 files changed, 19 insertions, 5 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 89b17e780ab..530dab2c324 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.14 2006/04/06 06:22:10 reed Exp $ +# $NetBSD: Makefile,v 1.15 2007/01/17 11:14:46 tonio Exp $ # DISTNAME= coq-8.0pl3 @@ -17,7 +17,7 @@ CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= -reals all BUILD_TARGET= world -BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.09 +BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.09 .include "../../mk/bsd.prefs.mk" @@ -27,13 +27,24 @@ PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST .endif .if ${OPSYS} == "Darwin" -INSTALL_UNSTRIPPED= yes +INSTALL_UNSTRIPPED= yes # See PR# 28772 as the above should work but it appears to be ignored # so we set it explicitly below not to stip installed binaries. _STRIPFLAG_CC= _STRIPFLAG_INSTALL= .endif +PKG_OPTIONS_VAR= PKG_OPTIONS.coq +PKG_SUPPORTED_OPTIONS= coqide +.include "../../mk/bsd.options.mk" +.if !empty(PKG_OPTIONS:Mcoqide) +.include "../../x11/lablgtk2/buildlink3.mk" +.include "../../x11/gtk2/buildlink3.mk" +PLIST_SUBST+= WITH_IDE='' +.else +PLIST_SUBST+= WITH_IDE='@comment ' +.endif + .include "../../mk/pthread.buildlink3.mk" .include "../../lang/ocaml/buildlink3.mk" .include "../../mk/bsd.pkg.mk" diff --git a/lang/coq/PLIST b/lang/coq/PLIST index 13ecf260cc5..0469c4833b8 100644 --- a/lang/coq/PLIST +++ b/lang/coq/PLIST @@ -1,10 +1,12 @@ -@comment $NetBSD: PLIST,v 1.3 2006/01/27 19:22:58 tonio Exp $ +@comment $NetBSD: PLIST,v 1.4 2007/01/17 11:14:46 tonio Exp $ bin/coq-interface bin/coq-tex bin/coq_makefile bin/coqc bin/coqdep bin/coqdoc +${WITH_IDE}bin/coqide +${WITH_IDE}bin/coqide.byte bin/coqmktop bin/coqtop bin/coqtop.byte diff --git a/lang/coq/PLIST.opt b/lang/coq/PLIST.opt index ac958aed9a4..de16e347619 100644 --- a/lang/coq/PLIST.opt +++ b/lang/coq/PLIST.opt @@ -1,5 +1,6 @@ -@comment $NetBSD: PLIST.opt,v 1.3 2006/01/27 19:22:58 tonio Exp $ +@comment $NetBSD: PLIST.opt,v 1.4 2007/01/17 11:14:46 tonio Exp $ bin/coq-interface.opt +${WITH_IDE}bin/coqide.opt bin/coqtop.opt bin/parser.opt man/man1/coqtop.opt.1 |