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 /PKGBUILD | |
| download | aur-74d8fb141d290740d219807bfdf6aeaa8b54deff.tar.gz | |
irvm 0.0.3
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 29 |
1 files changed, 29 insertions, 0 deletions
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: |