From 544ad0fb3e7c5be74c4d9bfa50f822183ecfaa43 Mon Sep 17 00:00:00 2001 From: Danny Rawlins Date: Mon, 16 Jul 2012 07:53:38 +1000 Subject: [PATCH] xorg-xf86-video-xgi: removed obsolete port --- xorg-xf86-video-xgi/.footprint | 10 ---------- xorg-xf86-video-xgi/.md5sum | 1 - xorg-xf86-video-xgi/Pkgfile | 18 ------------------ 3 files changed, 29 deletions(-) delete mode 100644 xorg-xf86-video-xgi/.footprint delete mode 100644 xorg-xf86-video-xgi/.md5sum delete mode 100644 xorg-xf86-video-xgi/Pkgfile diff --git a/xorg-xf86-video-xgi/.footprint b/xorg-xf86-video-xgi/.footprint deleted file mode 100644 index 9c6595fe..00000000 --- a/xorg-xf86-video-xgi/.footprint +++ /dev/null @@ -1,10 +0,0 @@ -drwxr-xr-x root/root usr/ -drwxr-xr-x root/root usr/lib/ -drwxr-xr-x root/root usr/lib/xorg/ -drwxr-xr-x root/root usr/lib/xorg/modules/ -drwxr-xr-x root/root usr/lib/xorg/modules/drivers/ --rwxr-xr-x root/root usr/lib/xorg/modules/drivers/xgi_drv.la --rwxr-xr-x root/root usr/lib/xorg/modules/drivers/xgi_drv.so -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man4/ --rw-r--r-- root/root usr/man/man4/xgi.4.gz diff --git a/xorg-xf86-video-xgi/.md5sum b/xorg-xf86-video-xgi/.md5sum deleted file mode 100644 index 175600cd..00000000 --- a/xorg-xf86-video-xgi/.md5sum +++ /dev/null @@ -1 +0,0 @@ -b4ac771ae81b52fca9b6fa68006a258a xf86-video-xgi-1.6.0.tar.bz2 diff --git a/xorg-xf86-video-xgi/Pkgfile b/xorg-xf86-video-xgi/Pkgfile deleted file mode 100644 index 83b6fa98..00000000 --- a/xorg-xf86-video-xgi/Pkgfile +++ /dev/null @@ -1,18 +0,0 @@ -# Description: xorg driver xf86-video-xgi -# URL: http://xorg.freedesktop.org -# Maintainer: Tilman Sauerbeck, tilman at crux dot nu -# Depends on: xorg-server - -name=xorg-xf86-video-xgi -version=1.6.0 -release=1 -source=(http://xorg.freedesktop.org/releases/individual/driver/xf86-video-xgi-$version.tar.bz2) - -build() { - cd xf86-video-xgi-$version - - ./configure --prefix=/usr --mandir=/usr/man - - make - make DESTDIR=$PKG install -}