diff options
author | amdmi3 <amdmi3@FreeBSD.org> | 2009-08-14 08:30:07 +0800 |
---|---|---|
committer | amdmi3 <amdmi3@FreeBSD.org> | 2009-08-14 08:30:07 +0800 |
commit | d0846dd8e81c033a004ffa853fef17835c516f4a (patch) | |
tree | 757c41e4971f2fb178dfa205c4c03b3db69a5cb4 /x11-toolkits | |
parent | 7a9df6bc803cdb64d02aa1c341b9d684c58dd5b8 (diff) | |
download | freebsd-ports-gnome-d0846dd8e81c033a004ffa853fef17835c516f4a.tar.gz freebsd-ports-gnome-d0846dd8e81c033a004ffa853fef17835c516f4a.tar.zst freebsd-ports-gnome-d0846dd8e81c033a004ffa853fef17835c516f4a.zip |
- Drop scintilla support, as scintilla no longer supports gtk12
Approved by: zaa@zaa.pp.ru (maintainer via private email)
Diffstat (limited to 'x11-toolkits')
-rw-r--r-- | x11-toolkits/php-gtk/Makefile | 10 | ||||
-rw-r--r-- | x11-toolkits/php-gtk2/Makefile | 10 |
2 files changed, 2 insertions, 18 deletions
diff --git a/x11-toolkits/php-gtk/Makefile b/x11-toolkits/php-gtk/Makefile index 7a95f3ce0294..5aab019b440a 100644 --- a/x11-toolkits/php-gtk/Makefile +++ b/x11-toolkits/php-gtk/Makefile @@ -7,7 +7,7 @@ PORTNAME= php-gtk PORTVERSION= 1.0.2 -PORTREVISION= 8 +PORTREVISION= 9 CATEGORIES= x11-toolkits MASTER_SITES= http://gtk.php.net/distributions/ \ http://document-root.de/mirror/php-gtk/ @@ -29,7 +29,6 @@ WRKSRC=${WRKDIR}/php_gtk-${PORTVERSION} PORTSCOUT= limit:^1\. OPTIONS= LIBGLADE "GladeXML support in php-gtk" on \ - SCINTILLA "Scintilla support" on \ GDK_PIXBUF "Enable pixbuf support" on \ GTKHTML "Enable Gtkhtml support" on @@ -50,13 +49,6 @@ ENVSCE+= -DHAVE_LIBGLADE CONFIGURE_ARGS+= --disable-libglade .endif -.if !defined(WITHOUT_SCINTILLA) -BUILD_DEPENDS+= ${LOCALBASE}/include/scintilla/gtkscintilla.h:${PORTSDIR}/x11-toolkits/gtkscintilla -LIB_DEPENDS+= gtkscintilla.0:${PORTSDIR}/x11-toolkits/gtkscintilla -ENVSCE+= -DHAVE_SCINTILLA=1 # -DPHP_GTK_COMPILE_DL_SCINTILLA=1 -CONFIGURE_ARGS+= --enable-scintilla -.endif - .if !defined(WITHOUT_GDK_PIXBUF) USE_GNOME+= gdkpixbuf CONFIGURE_ARGS+= --enable-gdkpixbuf diff --git a/x11-toolkits/php-gtk2/Makefile b/x11-toolkits/php-gtk2/Makefile index 7a95f3ce0294..5aab019b440a 100644 --- a/x11-toolkits/php-gtk2/Makefile +++ b/x11-toolkits/php-gtk2/Makefile @@ -7,7 +7,7 @@ PORTNAME= php-gtk PORTVERSION= 1.0.2 -PORTREVISION= 8 +PORTREVISION= 9 CATEGORIES= x11-toolkits MASTER_SITES= http://gtk.php.net/distributions/ \ http://document-root.de/mirror/php-gtk/ @@ -29,7 +29,6 @@ WRKSRC=${WRKDIR}/php_gtk-${PORTVERSION} PORTSCOUT= limit:^1\. OPTIONS= LIBGLADE "GladeXML support in php-gtk" on \ - SCINTILLA "Scintilla support" on \ GDK_PIXBUF "Enable pixbuf support" on \ GTKHTML "Enable Gtkhtml support" on @@ -50,13 +49,6 @@ ENVSCE+= -DHAVE_LIBGLADE CONFIGURE_ARGS+= --disable-libglade .endif -.if !defined(WITHOUT_SCINTILLA) -BUILD_DEPENDS+= ${LOCALBASE}/include/scintilla/gtkscintilla.h:${PORTSDIR}/x11-toolkits/gtkscintilla -LIB_DEPENDS+= gtkscintilla.0:${PORTSDIR}/x11-toolkits/gtkscintilla -ENVSCE+= -DHAVE_SCINTILLA=1 # -DPHP_GTK_COMPILE_DL_SCINTILLA=1 -CONFIGURE_ARGS+= --enable-scintilla -.endif - .if !defined(WITHOUT_GDK_PIXBUF) USE_GNOME+= gdkpixbuf CONFIGURE_ARGS+= --enable-gdkpixbuf |