summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRahul Manne2015-09-27 16:49:50 -0400
committerRahul Manne2015-09-27 16:49:50 -0400
commit1c88f3407f8819b7f0bb5d7aeee30c25819df89d (patch)
tree7e8210d157ba9111d4e0b774b91df953f1f77afe /PKGBUILD
downloadaur-1c88f3407f8819b7f0bb5d7aeee30c25819df89d.tar.gz
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD37
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
+}