From f9f67b7f19b5607aa295aeff944d82d447a509b5 Mon Sep 17 00:00:00 2001 From: Joe Marcus Clarke Date: Thu, 13 Nov 2003 08:55:43 +0000 Subject: Add gtk2-theme-switch, a command line tool for switching GTK+-2 themes. PR: 57039 Submitted by: Andrew J. Caines Anish Mistry --- x11/gtk2-theme-switch/Makefile | 31 +++++++++++++++++++++++++++++++ x11/gtk2-theme-switch/distinfo | 1 + x11/gtk2-theme-switch/files/patch-aa | 12 ++++++++++++ x11/gtk2-theme-switch/pkg-descr | 3 +++ x11/gtk2-theme-switch/pkg-plist | 3 +++ 5 files changed, 50 insertions(+) create mode 100644 x11/gtk2-theme-switch/Makefile create mode 100644 x11/gtk2-theme-switch/distinfo create mode 100644 x11/gtk2-theme-switch/files/patch-aa create mode 100644 x11/gtk2-theme-switch/pkg-descr create mode 100644 x11/gtk2-theme-switch/pkg-plist (limited to 'x11/gtk2-theme-switch') diff --git a/x11/gtk2-theme-switch/Makefile b/x11/gtk2-theme-switch/Makefile new file mode 100644 index 000000000000..04e97c2a44e4 --- /dev/null +++ b/x11/gtk2-theme-switch/Makefile @@ -0,0 +1,31 @@ +# New ports collection makefile for: gtk-theme-switch +# Date Created: Thu Nov 13 01:44:28 EST 2003 +# Whom: Andrew J. Caines +# +# $FreeBSD$ +# + +PORTNAME= gtk2-theme-switch +PORTVERSION= 2.0.0.r2 +CATEGORIES= x11 +MASTER_SITES= http://www.muhri.net/ +DISTNAME= ${PORTNAME:S/gtk2/gtk/}-${PORTVERSION:S/.r/rc/} + +MAINTAINER= A.J.Caines@halplant.com +COMMENT= A command line tool for switching GTK themes + +USE_X_PREFIX= yes +USE_GNOME= gtk20 +USE_GMAKE= yes + +MAN1= gtk2-theme-switch.1 + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/switch2 ${PREFIX}/bin/${PORTNAME} + ${INSTALL_MAN} ${WRKSRC}/switch.1 ${MANPREFIX}/man/man1/${PORTNAME}.1 +.if !defined(NOPORTDOCS) + ${MKDIR} ${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/readme ${DOCSDIR}/README +.endif + +.include diff --git a/x11/gtk2-theme-switch/distinfo b/x11/gtk2-theme-switch/distinfo new file mode 100644 index 000000000000..46bbce4fd39a --- /dev/null +++ b/x11/gtk2-theme-switch/distinfo @@ -0,0 +1 @@ +MD5 (gtk-theme-switch-2.0.0rc2.tar.gz) = f51b254fb347a86feef12db4bd76be6f diff --git a/x11/gtk2-theme-switch/files/patch-aa b/x11/gtk2-theme-switch/files/patch-aa new file mode 100644 index 000000000000..63924ba6b688 --- /dev/null +++ b/x11/gtk2-theme-switch/files/patch-aa @@ -0,0 +1,12 @@ +--- Makefile.orig Wed Jun 11 01:16:36 2003 ++++ Makefile Thu Nov 13 01:33:20 2003 +@@ -1,6 +1,6 @@ +-GCC = cc +-PREFIX=/usr/local +-CFLAGS = -O2 -Wall $(shell pkg-config --cflags gtk+-2.0) ++GCC = ${CC} ++PREFIX?=/usr/local ++CFLAGS += -Wall $(shell pkg-config --cflags gtk+-2.0) + LIBS = $(shell pkg-config --libs gtk+-2.0) + CFLAGS += -DGTK_DISABLE_BROKEN -DGTK_DISABLE_DEPRECATED + diff --git a/x11/gtk2-theme-switch/pkg-descr b/x11/gtk2-theme-switch/pkg-descr new file mode 100644 index 000000000000..ad2403c5e386 --- /dev/null +++ b/x11/gtk2-theme-switch/pkg-descr @@ -0,0 +1,3 @@ +A command line and GUI tool for switching GTK2 themes. + +WWW: http://www.muhri.net/gthemeswitch.php3 diff --git a/x11/gtk2-theme-switch/pkg-plist b/x11/gtk2-theme-switch/pkg-plist new file mode 100644 index 000000000000..d4b2ff3384f9 --- /dev/null +++ b/x11/gtk2-theme-switch/pkg-plist @@ -0,0 +1,3 @@ +bin/gtk2-theme-switch +%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%@dirrm share/doc/gtk2-theme-switch -- cgit v1.2.3