# New ports collection makefile for: devhelp # Date created: 29 May 2003 # Whom: Adam Weinberger # # $FreeBSD$ # $MCom: ports/devel/devhelp/Makefile,v 1.12 2009/01/11 18:03:38 marcus Exp $ PORTNAME= devhelp PORTVERSION= 0.23 PORTREVISION= 1 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.1:${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 .include