pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang/coq Add an option "coqide" to enable the gtk2 ide...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/4c67cab0a4f0
branches:  trunk
changeset: 524029:4c67cab0a4f0
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Wed Jan 17 11:14:46 2007 +0000

description:
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies

diffstat:

 lang/coq/Makefile  |  17 ++++++++++++++---
 lang/coq/PLIST     |   4 +++-
 lang/coq/PLIST.opt |   3 ++-
 3 files changed, 19 insertions(+), 5 deletions(-)

diffs (72 lines):

diff -r d98d21b35568 -r 4c67cab0a4f0 lang/coq/Makefile
--- a/lang/coq/Makefile Wed Jan 17 10:35:40 2007 +0000
+++ b/lang/coq/Makefile Wed Jan 17 11:14:46 2007 +0000
@@ -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+=       -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 @@
 .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 -r d98d21b35568 -r 4c67cab0a4f0 lang/coq/PLIST
--- a/lang/coq/PLIST    Wed Jan 17 10:35:40 2007 +0000
+++ b/lang/coq/PLIST    Wed Jan 17 11:14:46 2007 +0000
@@ -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 -r d98d21b35568 -r 4c67cab0a4f0 lang/coq/PLIST.opt
--- a/lang/coq/PLIST.opt        Wed Jan 17 10:35:40 2007 +0000
+++ b/lang/coq/PLIST.opt        Wed Jan 17 11:14:46 2007 +0000
@@ -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



Home | Main Index | Thread Index | Old Index