summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authortonio <tonio@pkgsrc.org>2007-01-17 11:14:46 +0000
committertonio <tonio@pkgsrc.org>2007-01-17 11:14:46 +0000
commitc12b58f84ebf35dd2bd50409df5412646625c8ef (patch)
tree97f7ecc0121bf40f57c8938f7d7abe9515795e8d /lang/coq
parentbbfef2477b30905c3b4476b846b07d7be90e472a (diff)
downloadpkgsrc-c12b58f84ebf35dd2bd50409df5412646625c8ef.tar.gz
Add an option "coqide" to enable the gtk2 ide of coq
It's disabled by default, to avoid too much dependancies
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile17
-rw-r--r--lang/coq/PLIST4
-rw-r--r--lang/coq/PLIST.opt3
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