diff options
author | Rahul Manne | 2015-09-27 16:49:50 -0400 |
---|---|---|
committer | Rahul Manne | 2015-09-27 16:49:50 -0400 |
commit | 1c88f3407f8819b7f0bb5d7aeee30c25819df89d (patch) | |
tree | 7e8210d157ba9111d4e0b774b91df953f1f77afe /PKGBUILD | |
download | aur-1c88f3407f8819b7f0bb5d7aeee30c25819df89d.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..433cae375785 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,37 @@ +# Maintainer: rmanne <rahul_manne@hotmail.com> +pkgname=mlton-git +pkgver=r6666.c611cbb +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://www.mlton.org/" +license=('BSD' 'MIT' 'LGPL') +depends=('bash' 'gmp') +makedepends=('mlton') +optdepends=('python') +provides=('${pkgname%-git}') +conflicts=('${pkgname%-git}') +source=('mlton::git+https://github.com/MLton/mlton.git') +md5sums=('SKIP') + +prepare() { + cd "$srcdir/${pkgname%-git}" +} + +build() { + cd "$srcdir/${pkgname%-git}" + make -j1 + make -j1 install +} + +package() { + cd "$srcdir/${pkgname%-git}" + rm -rf $pkgdir # start clean + cp -r $srcdir/${pkgname%-git}/install $pkgdir + find $pkgdir -type d -empty -delete + mv $pkgdir/usr/man $pkgdir/usr/share/man # make fhs compliant +} |