diff options
| author | dholland <dholland@pkgsrc.org> | 2020-03-01 05:25:13 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2020-03-01 05:25:13 +0000 |
| commit | 6566788a396debf22aab878ccffa8e0dff09e47b (patch) | |
| tree | 412e6765152984142ed335e0a5c8b160fb5b3d01 /lang/coq | |
| parent | 3be8fcc975d98c1c0d3419b34e32a5ba6ba02351 (diff) | |
| download | pkgsrc-6566788a396debf22aab878ccffa8e0dff09e47b.tar.gz | |
lang/coq now needs adwaita-icon-theme.
(without it the new coqide is missing things, and it seems to
specifically refer to adwaita-icon-theme by name)
Bump PKGREVISION to 1, since coqide is a default-on option.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 3 | ||||
| -rw-r--r-- | lang/coq/options.mk | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index c242bdc8157..66c48c57a57 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.128 2020/01/24 15:54:48 jaapb Exp $ +# $NetBSD: Makefile,v 1.129 2020/03/01 05:25:13 dholland Exp $ # DISTNAME= coq-8.10.2 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ${MASTER_SITE_GITHUB:=coq/} GITHUB_TAG= V${PKGVERSION_NOREV:S/_/+/} diff --git a/lang/coq/options.mk b/lang/coq/options.mk index 103240f2a0a..fe05fe58617 100644 --- a/lang/coq/options.mk +++ b/lang/coq/options.mk @@ -1,4 +1,4 @@ -# $NetBSD: options.mk,v 1.9 2020/01/24 15:54:48 jaapb Exp $ +# $NetBSD: options.mk,v 1.10 2020/03/01 05:25:13 dholland Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.coq PKG_SUPPORTED_OPTIONS= doc coqide @@ -53,6 +53,7 @@ CONFIGURE_ARGS+= -with-doc no .if !empty(PKG_OPTIONS:Mcoqide) .include "../../x11/ocaml-lablgtk3/buildlink3.mk" .include "../../x11/gtk3/buildlink3.mk" +DEPENDS+= adwaita-icon-theme-[0-9]*:../../graphics/adwaita-icon-theme CONFIGURE_ARGS+= -coqide ${COQIDE_TYPE} PLIST.coqide= yes .else |