blob: d62f988edfb1b1af0bdfd03cba08a785977bea33 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
# New ports collection makefile for: devhelp
# Date created: 29 May 2003
# Whom: Adam Weinberger <adamw@FreeBSD.org>
#
# $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 <bsd.port.pre.mk>
.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 <bsd.port.post.mk>
|
