summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMort Yao2016-03-13 01:45:45 +0100
committerMort Yao2016-03-13 01:45:45 +0100
commit09432d53f3a076fa810b1c0f45d4ac6e97350ddb (patch)
tree2e02a3d8deb47e557bcc635580c13af2e465c932 /PKGBUILD
downloadaur-09432d53f3a076fa810b1c0f45d4ac6e97350ddb.tar.gz
mlkit 4.3.9-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD26
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
+}