summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD14
1 files changed, 10 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 399d0230ca18..acaf1319204d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,16 +1,22 @@
# Maintainer: Mort Yao <soi@mort.ninja>
pkgname=mlkit
-pkgver=4.3.9
+pkgver=4.3.12
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')
+makedepends=('mlton>=20170725')
+source=("https://github.com/melsman/mlkit/archive/$pkgname-$pkgver.tar.gz"
+ Makefiledefault)
+md5sums=('18af7fe5a62d547d51177cb1030b9321'
+ '4aaf5cf417bfa1b816a14585199ec393')
+
+prepare() {
+ cp Makefiledefault "mlkit-$pkgname-$pkgver"
+}
build() {
cd "$pkgname-$pkgname-$pkgver"