diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2005-07-13 14:28:08 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2005-07-13 14:28:08 +0000 |
| commit | b756237a1afe896a3b5ecfcdc85934cd08c0452b (patch) | |
| tree | de9c7554614ea9659e771d00ac628ff603e0180d /x11/ggiterm/Makefile | |
| parent | ebdb629c557892bfe6b70c3a97c9c9b60835249c (diff) | |
Notes
Diffstat (limited to 'x11/ggiterm/Makefile')
| -rw-r--r-- | x11/ggiterm/Makefile | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/x11/ggiterm/Makefile b/x11/ggiterm/Makefile index 2c2c6ca799df..93cd2d88dfe2 100644 --- a/x11/ggiterm/Makefile +++ b/x11/ggiterm/Makefile @@ -6,24 +6,22 @@ # PORTNAME= ggiterm -PORTVERSION= 0.7.0 +PORTVERSION= 0.7.1 CATEGORIES= x11 MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ggiterm DISTNAME= ${PORTNAME}-${PORTVERSION} -MAINTAINER= ports@FreeBSD.org +MAINTAINER= antoine.brodin@laposte.net COMMENT= A terminal emulator for GGI LIB_DEPENDS= ggi.2:${PORTSDIR}/graphics/libggi USE_GMAKE= yes -USE_X_PREFIX= yes -USE_REINPLACE= yes -INSTALLS_SHLIB= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-ggi-prefix=${LOCALBASE} +CONFIGURE_ENV= CPPFLAGS="${PTHREAD_CFLAGS}" LDFLAGS="${PTHREAD_LIBS}" WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} @@ -41,9 +39,6 @@ CONFIGURE_ARGS+=--without-freetype MAN1= ggiterm.1 -post-patch: - @${REINPLACE_CMD} -e 's|-lggi |-lggi ${PTHREAD_LIBS} |' ${WRKSRC}/configure - post-install: .if !defined(NOPORTDOCS) @${MKDIR} ${DOCSDIR} |