diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -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" |