Date: Thursday, March 14, 2013 @ 04:55:31 Author: allan Revision: 180002
archrelease: copy trunk to extra-any Added: dejagnu/repos/extra-any/PKGBUILD (from rev 180001, dejagnu/trunk/PKGBUILD) dejagnu/repos/extra-any/dejagnu.install (from rev 180001, dejagnu/trunk/dejagnu.install) Deleted: dejagnu/repos/extra-any/PKGBUILD dejagnu/repos/extra-any/dejagnu.install -----------------+ PKGBUILD | 66 +++++++++++++++++++++++++++--------------------------- dejagnu.install | 30 ++++++++++++------------ 2 files changed, 48 insertions(+), 48 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2013-03-14 03:54:49 UTC (rev 180001) +++ PKGBUILD 2013-03-14 03:55:31 UTC (rev 180002) @@ -1,33 +0,0 @@ -# $Id$ -# Maintainer: Allan McRae <al...@archlinux.org> - -pkgname=dejagnu -pkgver=1.5 -pkgrel=2 -pkgdesc="Framework for testing other programs" -arch=('any') -url="http://www.gnu.org/software/dejagnu/" -license=('GPL') -depends=('sh' 'expect') -makedepends=('dejagnu') -options=('!libtool') -install=dejagnu.install -source=(http://ftp.gnu.org/gnu/dejagnu/${pkgname}-${pkgver}.tar.gz) -md5sums=('3df1cbca885e751e22d3ebd1ac64dc3c') - - -build() { - cd $srcdir/$pkgname-$pkgver - ./configure --prefix=/usr - make -} - -check() { - cd $srcdir/$pkgname-$pkgver - make check -} - -package() { - cd $srcdir/$pkgname-$pkgver - make -j1 DESTDIR=$pkgdir/ install -} Copied: dejagnu/repos/extra-any/PKGBUILD (from rev 180001, dejagnu/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2013-03-14 03:55:31 UTC (rev 180002) @@ -0,0 +1,33 @@ +# $Id$ +# Maintainer: Allan McRae <al...@archlinux.org> + +pkgname=dejagnu +pkgver=1.5.1 +pkgrel=1 +pkgdesc="Framework for testing other programs" +arch=('any') +url="http://www.gnu.org/software/dejagnu/" +license=('GPL') +depends=('sh' 'expect') +makedepends=('dejagnu') +options=('!libtool') +install=dejagnu.install +source=(http://ftp.gnu.org/gnu/dejagnu/${pkgname}-${pkgver}.tar.gz{,.sig}) +md5sums=('8386e04e362345f50ad169f052f4c4ab' + '59335adf4900b889c64827c5a9426252') + +build() { + cd $srcdir/$pkgname-$pkgver + ./configure --prefix=/usr + make +} + +check() { + cd $srcdir/$pkgname-$pkgver + make check +} + +package() { + cd $srcdir/$pkgname-$pkgver + make DESTDIR=$pkgdir/ install +} Deleted: dejagnu.install =================================================================== --- dejagnu.install 2013-03-14 03:54:49 UTC (rev 180001) +++ dejagnu.install 2013-03-14 03:55:31 UTC (rev 180002) @@ -1,15 +0,0 @@ -infodir=usr/share/info - -post_install() { - [ -x usr/bin/install-info ] || return 0 - install-info $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - [ -x usr/bin/install-info ] || return 0 - install-info --delete $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null -} Copied: dejagnu/repos/extra-any/dejagnu.install (from rev 180001, dejagnu/trunk/dejagnu.install) =================================================================== --- dejagnu.install (rev 0) +++ dejagnu.install 2013-03-14 03:55:31 UTC (rev 180002) @@ -0,0 +1,15 @@ +infodir=usr/share/info + +post_install() { + [ -x usr/bin/install-info ] || return 0 + install-info $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + install-info --delete $infodir/dejagnu.info.gz $infodir/dir 2> /dev/null +}