CVS commit: pkgsrc/lang/coq

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Sun Mar  1 05:25:14 UTC 2020

Modified Files:
        pkgsrc/lang/coq: Makefile options.mk

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r1.128 -r1.129 pkgsrc/lang/coq/Makefile
cvs rdiff -u -r1.9 -r1.10 pkgsrc/lang/coq/options.mk

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.128 pkgsrc/lang/coq/Makefile:1.129
--- pkgsrc/lang/coq/Makefile:1.128      Fri Jan 24 15:54:48 2020
+++ pkgsrc/lang/coq/Makefile    Sun Mar  1 05:25:13 2020
@@ -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/_/+/}

Index: pkgsrc/lang/coq/options.mk
diff -u pkgsrc/lang/coq/options.mk:1.9 pkgsrc/lang/coq/options.mk:1.10
--- pkgsrc/lang/coq/options.mk:1.9      Fri Jan 24 15:54:48 2020
+++ pkgsrc/lang/coq/options.mk  Sun Mar  1 05:25:13 2020
@@ -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