From 9a33da5f90e51dbb778b2e2e2b435004f0e29ee3 Mon Sep 17 00:00:00 2001
From: Ray Donnelly <mingw.android@gmail.com>
Date: Tue, 30 Jun 2015 18:17:28 +0100
Subject: [PATCH] dejagnu: New package

---
 dejagnu/PKGBUILD | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 dejagnu/PKGBUILD

diff --git a/dejagnu/PKGBUILD b/dejagnu/PKGBUILD
new file mode 100644
index 00000000..48f6548a
--- /dev/null
+++ b/dejagnu/PKGBUILD
@@ -0,0 +1,32 @@
+# $Id$
+# Maintainer: Allan McRae <allan@archlinux.org>
+
+pkgname=dejagnu
+pkgver=1.5.3
+pkgrel=1
+pkgdesc="Framework for testing other programs"
+arch=('any')
+url="http://www.gnu.org/software/dejagnu/"
+license=('GPL')
+depends=('expect')
+#install=dejagnu.install
+source=(http://ftp.gnu.org/gnu/dejagnu/${pkgname}-${pkgver}.tar.gz{,.sig})
+md5sums=('5bda2cdb1af51a80aecce58d6e42bd2f'
+         'SKIP')
+validpgpkeys=('CB0B31452BBE862933013D9176362888B55988D4')   # Ben Elliston
+
+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
+}