summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRahul Manne2015-09-27 19:53:06 -0400
committerRahul Manne2015-09-27 19:53:06 -0400
commit9cca7d29ecdfdae252a5a34460421900f5f7972c (patch)
tree0f28f52e450214edaa26fd8df1d7bf23dd015e45 /PKGBUILD
downloadaur-9cca7d29ecdfdae252a5a34460421900f5f7972c.tar.gz
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD32
1 files changed, 32 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..fcfea4945dc4
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,32 @@
+# Maintainer: rmanne <rahul_manne@hotmail.com>
+pkgname=tutch-git
+pkgver=0
+pkgver() {
+ cd "${pkgname%-git}"
+ printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+}
+pkgrel=1
+pkgdesc='Whole-program, optimizing Standard ML compiler'
+arch=('x86_64' 'i686')
+url="http://www2.tcs.ifi.lmu.de/~abel/tutch/"
+license=('unknown')
+depends=('gmp')
+makedepends=('mlton-git')
+provides=('tutch')
+conflicts=('tutch')
+source=('tutch::git+https://github.com/rmanne/tutch.git')
+md5sums=('SKIP')
+
+prepare() {
+ cd "$srcdir/${pkgname%-git}"
+}
+
+build() {
+ cd "$srcdir/${pkgname%-git}"
+ make
+}
+
+package() {
+ cd "$srcdir/${pkgname%-git}"
+ install -Dm755 src/tutch "$pkgdir/usr/bin/tutch"
+}