diff options
| author | Rahul Manne | 2015-09-27 19:53:06 -0400 |
|---|---|---|
| committer | Rahul Manne | 2015-09-27 19:53:06 -0400 |
| commit | 9cca7d29ecdfdae252a5a34460421900f5f7972c (patch) | |
| tree | 0f28f52e450214edaa26fd8df1d7bf23dd015e45 | |
| download | aur-9cca7d29ecdfdae252a5a34460421900f5f7972c.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 32 |
2 files changed, 49 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9d06dce1b7ff --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = tutch-git + pkgdesc = Whole-program, optimizing Standard ML compiler + pkgver = 0 + pkgrel = 1 + url = http://www2.tcs.ifi.lmu.de/~abel/tutch/ + arch = x86_64 + arch = i686 + license = unknown + makedepends = mlton-git + depends = gmp + provides = tutch + conflicts = tutch + source = tutch::git+https://github.com/rmanne/tutch.git + md5sums = SKIP + +pkgname = tutch-git + 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" +} |