kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

lang/coq now needs adwaita-icon-theme.

Browse source 
(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.
This commit is contained in:
dholland 2020-03-01 05:25:13 +00:00
parent 259997ee48
commit a40f45a2f7
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lang/coq/Makefile
View file

@ -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/_/+/}

3
lang/coq/options.mk
View file

@ -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