diff options
| -rw-r--r-- | graphics/Makefile | 1 | ||||
| -rw-r--r-- | graphics/libggiwmh/Makefile | 53 | ||||
| -rw-r--r-- | graphics/libggiwmh/distinfo | 2 | ||||
| -rw-r--r-- | graphics/libggiwmh/pkg-descr | 7 | ||||
| -rw-r--r-- | graphics/libggiwmh/pkg-plist | 19 |
5 files changed, 82 insertions, 0 deletions
diff --git a/graphics/Makefile b/graphics/Makefile index 8dc8a90fac69..2b4e6467edf8 100644 --- a/graphics/Makefile +++ b/graphics/Makefile @@ -244,6 +244,7 @@ SUBDIR += libfpx SUBDIR += libgdgeda SUBDIR += libggi + SUBDIR += libggiwmh SUBDIR += libglut SUBDIR += libgnomecanvas SUBDIR += libgnomecanvasmm diff --git a/graphics/libggiwmh/Makefile b/graphics/libggiwmh/Makefile new file mode 100644 index 000000000000..37a8b546df3f --- /dev/null +++ b/graphics/libggiwmh/Makefile @@ -0,0 +1,53 @@ +# New ports collection makefile for: libggiwmh +# Date created: 7 December 2004 +# Whom: antoine.brodin@laposte.net +# +# $FreeBSD$ +# + +PORTNAME= libggiwmh +PORTVERSION= 0.2.0 +CATEGORIES= graphics devel +MASTER_SITES= http://www.ggi-project.org/ftp/ggi/v2.1/ \ + ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= ggi +DISTNAME= ${PORTNAME}-${PORTVERSION}.src + +MAINTAINER= antoine.brodin@laposte.net +COMMENT= A libggi extension, wmh stands for Window Manager Hints + +LIB_DEPENDS= ggi.2:${PORTSDIR}/graphics/libggi + +WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} +USE_BZIP2= yes +INSTALLS_SHLIB= yes +GNU_CONFIGURE= yes + +MAN3= ggiWmhIconify.3 \ + ggiWmhInit.3 \ + ggiWmhMove.3 \ + ggiWmhSetTitle.3 \ + ggiWmhZOrder.3 +MAN7= libggiwmh.7 +MLINKS= ggiWmhIconify.3 ggiWmhMoveIcon.3 \ + - ggiWmhSetIconTitle.3 \ + ggiWmhInit.3 ggiWmhAttach.3 \ + - ggiWmhDetach.3 - ggiWmhExit.3 \ + ggiWmhMove.3 ggiWmhAllowResize.3 \ + - ggiWmhGetPos.3 - ggiWmhGetSize.3 \ + - ggiWmhResize.3 + +.include <bsd.port.pre.mk> + +.if !defined(WITHOUT_X11) +USE_XLIB= yes +PLIST_SUB+= XWMH="" +.else +CONFIGURE_ARGS+=--disable-x +PLIST_SUB+= XWMH="@comment " +.endif + +post-install: + @${CP} ${WRKSRC}/libggiwmh.conf ${PREFIX}/etc/ggi/libggiwmh.conf.dist + +.include <bsd.port.post.mk> diff --git a/graphics/libggiwmh/distinfo b/graphics/libggiwmh/distinfo new file mode 100644 index 000000000000..06286faf8a9b --- /dev/null +++ b/graphics/libggiwmh/distinfo @@ -0,0 +1,2 @@ +MD5 (libggiwmh-0.2.0.src.tar.bz2) = ad1414f6ff0e7b43d8caa3005b04056d +SIZE (libggiwmh-0.2.0.src.tar.bz2) = 215433 diff --git a/graphics/libggiwmh/pkg-descr b/graphics/libggiwmh/pkg-descr new file mode 100644 index 000000000000..26e53d2133ef --- /dev/null +++ b/graphics/libggiwmh/pkg-descr @@ -0,0 +1,7 @@ +libggiwmh is a libggi extension whereby wmh stands for 'Window Manager Hints' +It adds features like moving, resizing, iconifying, z-ordering Windows and more +that happen to contain a ggi visual. +It is safe to use it even on non-windowed targets. The ggiWmh* functions just +fail in that case, where the failure indicates a NOOP. + +WWW: http://www.ggi-project.org/ diff --git a/graphics/libggiwmh/pkg-plist b/graphics/libggiwmh/pkg-plist new file mode 100644 index 000000000000..d94799d3bcf5 --- /dev/null +++ b/graphics/libggiwmh/pkg-plist @@ -0,0 +1,19 @@ +@unexec if cmp -s %D/etc/ggi/libggiwmh.conf %D/etc/ggi/libggiwmh.conf.dist; then rm -f %D/etc/ggi/libggiwmh.conf; fi +etc/ggi/libggiwmh.conf.dist +@exec [ -f %B/libggiwmh.conf ] || cp %B/%f %B/libggiwmh.conf +include/ggi/internal/wmh.h +include/ggi/wmh-defs.h +include/ggi/wmh.h +lib/ggi/wmh/display/pseudo_stubs_wmh.la +lib/ggi/wmh/display/pseudo_stubs_wmh.so +%%XWMH%%lib/ggi/wmh/display/X_wmh.la +%%XWMH%%lib/ggi/wmh/display/X_wmh.so +lib/libggiwmh.la +lib/libggiwmh.so +lib/libggiwmh.so.0 +@dirrm etc/ggi +@dirrm include/ggi/internal +@dirrm include/ggi +@dirrm lib/ggi/wmh/display +@dirrm lib/ggi/wmh +@dirrm lib/ggi |