diff options
author | Pav Lucistnik <pav@FreeBSD.org> | 2004-12-11 22:45:17 +0000 |
---|---|---|
committer | Pav Lucistnik <pav@FreeBSD.org> | 2004-12-11 22:45:17 +0000 |
commit | 6dcb408d16defbb23f76e72f2eb82193e96156b5 (patch) | |
tree | b774a122f9a05e1e53d63dd810a2186f6f3943bb /graphics/libggiwmh | |
parent | e74ab7eb81fc6085df4d09ecb2a45415b238a76c (diff) | |
download | ports-6dcb408d16defbb23f76e72f2eb82193e96156b5.tar.gz ports-6dcb408d16defbb23f76e72f2eb82193e96156b5.zip |
Notes
Diffstat (limited to 'graphics/libggiwmh')
-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 |
4 files changed, 81 insertions, 0 deletions
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 |