summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 433cae375785b8090a19bb6c2c74680f14f7d72e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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
}