diff options
author | Mort Yao | 2016-03-13 01:45:45 +0100 |
---|---|---|
committer | Mort Yao | 2016-03-13 01:45:45 +0100 |
commit | 09432d53f3a076fa810b1c0f45d4ac6e97350ddb (patch) | |
tree | 2e02a3d8deb47e557bcc635580c13af2e465c932 /PKGBUILD | |
download | aur-09432d53f3a076fa810b1c0f45d4ac6e97350ddb.tar.gz |
mlkit 4.3.9-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..399d0230ca18 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: Mort Yao <soi@mort.ninja> + +pkgname=mlkit +pkgver=4.3.9 +pkgrel=1 +pkgdesc='Standard ML Compiler and Toolkit' +url='http://www.elsman.com/mlkit/' +license=('GPL2') +arch=('i686' 'x86_64') +depends=('gmp') +makedepends=('mlton>=20051202') +source=("https://github.com/melsman/mlkit/archive/$pkgname-$pkgver.tar.gz") +md5sums=('8a6d2146c935914ec5ff494d75bab602') + +build() { + cd "$pkgname-$pkgname-$pkgver" + ./autobuild + ./configure --sysconfdir=/etc --prefix=/usr + make mlkit + make mlkit_libs +} + +package() { + cd "$pkgname-$pkgname-$pkgver" + make DESTDIR="$pkgdir/" install +} |