The offical GNOME 3.16 release notes can be found at https://help.gnome.org/misc/release-notes/3.16/ Upgrade instructions for port users: Delete the old tracker package with: # pkg delete -f tracker And user port upgrade tool of choice to upgrade. Thanks to Antoine Brodin for running the exp-runs. This release was made possible by the following people: Gustau Perez Ting-Wei_Lan PR: 201980
34 lines
757 B
Makefile
34 lines
757 B
Makefile
# Created by: Adam Weinberger <adamw@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= devhelp
|
|
PORTVERSION= 3.16.1
|
|
CATEGORIES= devel gnome
|
|
MASTER_SITES= GNOME
|
|
DIST_SUBDIR= gnome3
|
|
|
|
MAINTAINER= gnome@FreeBSD.org
|
|
COMMENT= Developer help browser for GNOME 3
|
|
|
|
LIB_DEPENDS= libwebkit2gtk-4.0.so:${PORTSDIR}/www/webkit2-gtk3
|
|
|
|
PORTSCOUT= limitw:1,even
|
|
|
|
USES= compiler:c++11-lib gettext gmake libtool pathfix \
|
|
pkgconfig tar:xz
|
|
USE_GNOME= gtk30 intlhack libxslt
|
|
USE_XORG= x11
|
|
GNU_CONFIGURE= yes
|
|
INSTALLS_ICONS= yes
|
|
USE_LDCONFIG= yes
|
|
CPPFLAGS+= -I${LOCALBASE}/include
|
|
LDFLAGS+= -L${LOCALBASE}/lib
|
|
INSTALL_TARGET= install-strip
|
|
|
|
GLIB_SCHEMAS= org.gnome.devhelp.gschema.xml
|
|
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e 's|gedit-plugin||g' ${WRKSRC}/misc/Makefile.in
|
|
|
|
.include <bsd.port.mk>
|