diff options
author | Mort Yao | 2017-12-11 16:36:22 +0100 |
---|---|---|
committer | Mort Yao | 2017-12-11 16:36:22 +0100 |
commit | 01186ecdc81802e7f16bdf87246cba08fc4745b2 (patch) | |
tree | 69650d2a998daec97b9c3d083060f65bf94324c9 | |
parent | 3a8da8bee74df37a3714087db86140c969297b9b (diff) | |
download | aur-01186ecdc81802e7f16bdf87246cba08fc4745b2.tar.gz |
mlkit 4.3.12-1
-rw-r--r-- | .SRCINFO | 12 | ||||
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefiledefault | 6 | ||||
-rw-r--r-- | PKGBUILD | 14 |
4 files changed, 24 insertions, 9 deletions
@@ -1,17 +1,19 @@ # Generated by mksrcinfo v8 -# Sun Mar 13 00:43:00 UTC 2016 +# Mon Dec 11 15:35:42 UTC 2017 pkgbase = mlkit pkgdesc = Standard ML Compiler and Toolkit - pkgver = 4.3.9 + pkgver = 4.3.12 pkgrel = 1 url = http://www.elsman.com/mlkit/ arch = i686 arch = x86_64 license = GPL2 - makedepends = mlton>=20051202 + makedepends = mlton>=20170725 depends = gmp - source = https://github.com/melsman/mlkit/archive/mlkit-4.3.9.tar.gz - md5sums = 8a6d2146c935914ec5ff494d75bab602 + source = https://github.com/melsman/mlkit/archive/mlkit-4.3.12.tar.gz + source = Makefiledefault + md5sums = 18af7fe5a62d547d51177cb1030b9321 + md5sums = 4aaf5cf417bfa1b816a14585199ec393 pkgname = mlkit diff --git a/.gitignore b/.gitignore index c0c0101576a5..11046d3c70fe 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ /pkg /src +*.sig *.bz2 *.gz *.tar diff --git a/Makefiledefault b/Makefiledefault new file mode 100644 index 000000000000..9d7925152194 --- /dev/null +++ b/Makefiledefault @@ -0,0 +1,6 @@ +ifeq ($(MLCOMP)x,x) +MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten +#mlton @MLton ram-slop 0.7 gc-summary -- -disable-pass deepFlatten -verbose 3 +endif + +export MLCOMP @@ -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" |