summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 631807e3ceb91eed593c32be8d0f1a274466fd66 (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
38
39
40
41
42
# Maintainer: Ramana Kumar <ramana at member dot fsf dot org>
pkgname=polyml-fixes-git
pkgver=5.7.1r3215.44b7b88e
pkgrel=1
pkgdesc="Poly/ML implementation of Standard ML (latest release + fixes)"
arch=('i686' 'x86_64')
url="http://polyml.org"
license=('LGPL')
groups=()
depends=('gmp')
makedepends=('git')
provides=("${pkgname%-fixes-git}" "${pkgname%-fixes-git}-git")
conflicts=("${pkgname%-fixes-git}" "${pkgname%-fixes-git}-git" "${pkgname%-fixes-git}-svn")
replaces=("${pkgname%-fixes-git}-svn")
backup=()
options=('staticlibs')
install=
source=('git+https://github.com/polyml/polyml.git#branch=fixes-5.7.1')
noextract=()
md5sums=('SKIP')

pkgver() {
	cd "$srcdir/${pkgname%-fixes-git}"
	printf "5.7.1r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}

build() {
	cd "$srcdir/${pkgname%-fixes-git}"
	./configure --prefix=/usr
	make
  make compiler
}

check() {
	cd "$srcdir/${pkgname%-fixes-git}"
	make check
}

package() {
	cd "$srcdir/${pkgname%-fixes-git}"
	make DESTDIR="$pkgdir/" install
}