pkgsrc-Changes-HG archive

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

[pkgsrc/trunk]: pkgsrc/lang/coq lang/coq now needs adwaita-icon-theme.



details:   https://anonhg.NetBSD.org/pkgsrc/rev/82e570d14a9c
branches:  trunk
changeset: 423930:82e570d14a9c
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Sun Mar 01 05:25:13 2020 +0000

description:
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:

 lang/coq/Makefile   |  3 ++-
 lang/coq/options.mk |  3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diffs (30 lines):

diff -r 70eab4c00f85 -r 82e570d14a9c lang/coq/Makefile
--- a/lang/coq/Makefile Sun Mar 01 03:01:19 2020 +0000
+++ b/lang/coq/Makefile Sun Mar 01 05:25:13 2020 +0000
@@ -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 -r 70eab4c00f85 -r 82e570d14a9c lang/coq/options.mk
--- a/lang/coq/options.mk       Sun Mar 01 03:01:19 2020 +0000
+++ b/lang/coq/options.mk       Sun Mar 01 05:25:13 2020 +0000
@@ -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 @@
 .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



Home | Main Index | Thread Index | Old Index