diff options
author | Samuel Tardieu | 2015-09-22 12:53:03 +0200 |
---|---|---|
committer | Samuel Tardieu | 2015-09-22 12:53:07 +0200 |
commit | 74d8fb141d290740d219807bfdf6aeaa8b54deff (patch) | |
tree | 378d7f2a194b555eddb82d76d61b28ed91a357e8 | |
download | aur-74d8fb141d290740d219807bfdf6aeaa8b54deff.tar.gz |
irvm 0.0.3
-rw-r--r-- | .SRCINFO | 21 | ||||
-rw-r--r-- | PKGBUILD | 29 | ||||
-rw-r--r-- | irvm.install | 22 |
3 files changed, 72 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..4da8f4ee6ecf --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +# Generated by mksrcinfo v7 +# Tue Sep 22 10:52:51 UTC 2015 +pkgbase = irvm + pkgdesc = virtual machine for Andrew W. Appel's tree intermediate representation + pkgver = 0.0.3 + pkgrel = 1 + url = https://github.com/pablooliveira/irvm + install = irvm.install + arch = i686 + arch = x86_64 + license = GPL + makedepends = autoconf + makedepends = automake + makedepends = bison>=2.7 + makedepends = flex + depends = glibc + source = https://github.com/pablooliveira/irvm/archive/v0.0.3.tar.gz + md5sums = 8f195f7898f26e4830b13d4b8e1ca4cd + +pkgname = irvm + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..4764392b8214 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,29 @@ +# Maintainer: Samuel Tardieu <sam@rfc1149.net> + +pkgname=irvm +pkgver=0.0.3 +pkgrel=1 +arch=('i686' 'x86_64') +makedepends=('autoconf' 'automake' 'bison>=2.7' 'flex') +depends=('glibc') +pkgdesc="virtual machine for Andrew W. Appel's tree intermediate representation" +install=irvm.install +url="https://github.com/pablooliveira/irvm" +license=('GPL') +source=(https://github.com/pablooliveira/${pkgname}/archive/v${pkgver}.tar.gz) +md5sums=('8f195f7898f26e4830b13d4b8e1ca4cd') + +build() { + cd ${pkgname}-${pkgver} + autoreconf -f -i + ./configure --prefix=/usr + make +} + +package() { + cd ${pkgname}-${pkgver} + make DESTDIR="${pkgdir}/" install + install -D -m 644 COPYING ${pkgdir}/usr/share/licenses/$pkgname/COPYING +} + +# vim:set ts=2 sw=2 et: diff --git a/irvm.install b/irvm.install new file mode 100644 index 000000000000..ca2a72703ab4 --- /dev/null +++ b/irvm.install @@ -0,0 +1,22 @@ +infodir=usr/share/info +filelist=(irvm.info) + +post_install() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null + done +} + +post_upgrade() { + post_install "$1" +} + +pre_remove() { + [[ -x usr/bin/install-info ]] || return 0 + for file in "${filelist[@]}"; do + install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null + done +} + +# vim:set ts=2 sw=2 et: |