diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-03-17 17:29:25 +0100 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2019-03-18 08:50:39 +0100 |
| commit | fbb8575b6fcba2589bad60e04d8bee0b6aade662 (patch) | |
| tree | f4a5c9d043eed0e54569e37e06344ddd71558f2d /media-libs/libggiwmh | |
| parent | media-libs/libggimisc: remove old. (diff) | |
| download | gentoo-fbb8575b6fcba2589bad60e04d8bee0b6aade662.tar.gz gentoo-fbb8575b6fcba2589bad60e04d8bee0b6aade662.tar.bz2 gentoo-fbb8575b6fcba2589bad60e04d8bee0b6aade662.zip | |
media-libs/libggiwmh: remove old.
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'media-libs/libggiwmh')
| -rw-r--r-- | media-libs/libggiwmh/libggiwmh-0.3.2.ebuild | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/media-libs/libggiwmh/libggiwmh-0.3.2.ebuild b/media-libs/libggiwmh/libggiwmh-0.3.2.ebuild deleted file mode 100644 index ae533a708091..000000000000 --- a/media-libs/libggiwmh/libggiwmh-0.3.2.ebuild +++ /dev/null @@ -1,30 +0,0 @@ -# Copyright 1999-2018 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=0 - -DESCRIPTION="Window manager hints extensions for libggi" -HOMEPAGE="https://ibiblio.org/ggicore/packages/libggiwmh.html" -SRC_URI="mirror://sourceforge/ggi/${P}.src.tar.bz2" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86 ~amd64-fbsd ~x86-fbsd" -IUSE="X" - -RDEPEND=">=media-libs/libggi-2.2.2 - X? ( x11-libs/libXxf86vm - x11-libs/libXxf86dga - x11-libs/libXext - x11-libs/libX11 )" -DEPEND="${RDEPEND}" - -src_compile() { - econf $(use_enable X x) $(use_with X x) - emake || die "emake failed." -} - -src_install() { - emake DESTDIR="${D}" install || die "emake install failed." - dodoc ChangeLog README doc/*.txt -} |