summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorSamuel Tardieu2015-09-22 12:53:03 +0200
committerSamuel Tardieu2015-09-22 12:53:07 +0200
commit74d8fb141d290740d219807bfdf6aeaa8b54deff (patch)
tree378d7f2a194b555eddb82d76d61b28ed91a357e8 /PKGBUILD
downloadaur-irvm.tar.gz
irvm 0.0.3
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD29
1 files changed, 29 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..4764392b821
--- /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: