# New ports collection makefile for: devhelp # Date created: 29 May 2003 # Whom: Adam Weinberger # # $FreeBSD$ # $MCom: ports/devel/devhelp/Makefile,v 1.18 2009/07/19 01:07:15 marcus Exp $ PORTNAME= devhelp PORTVERSION= 0.23 PORTREVISION= 4 PORTEPOCH= 1 CATEGORIES= devel gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome2 MAINTAINER= kwm@FreeBSD.org COMMENT= Developer help browser for GNOME 2 LIB_DEPENDS= webkit-1.0.10:${PORTSDIR}/www/webkit-gtk2 USE_BZIP2= yes USE_XORG= x11 USE_GETTEXT= yes USE_GMAKE= yes USE_GNOME= gnomehack intlhack gnomeprefix libgnomeui libwnck USE_AUTOTOOLS= libtool:22 GNU_CONFIGURE= yes INSTALLS_ICONS= yes USE_LDCONFIG= yes GCONF_SCHEMAS= devhelp.schemas CONFIGURE_ENV= CPPFLAGS="${PTHREAD_CFLAGS} -I${LOCALBASE}/include" \ LDFLAGS="${PTHREAD_LIBS} -L${LOCALBASE}/lib" OPTIONS= GEDIT "Enable GEdit plug-in support" off .include .if defined(WITH_GEDIT) BUILD_DEPENDS+= gedit:${PORTSDIR}/editors/gedit RUN_DEPENDS+= gedit:${PORTSDIR}/editors/gedit PLIST_SUB+= GEDIT="" .else PLIST_SUB+= GEDIT="@comment " .endif post-patch: .if defined(WITHOUT_GEDIT) @${REINPLACE_CMD} -e 's|gedit-plugin||' \ ${WRKSRC}/misc/Makefile.in .endif @${REINPLACE_CMD} -e 's|-DG_DISABLE_DEPRECATED||g' \ ${WRKSRC}/src/Makefile.in .include