diff options
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefiledefault | 6 | ||||
| -rw-r--r-- | PKGBUILD | 18 |
4 files changed, 10 insertions, 27 deletions
@@ -1,19 +1,13 @@ -# Generated by mksrcinfo v8 -# Fri Aug 2 09:32:09 UTC 2019 pkgbase = mlkit pkgdesc = Standard ML Compiler and Toolkit - pkgver = 4.4.3 + pkgver = 4.7.2 pkgrel = 1 url = http://www.elsman.com/mlkit/ - arch = i686 arch = x86_64 license = GPL2 makedepends = mlton>=20170725 depends = gmp - source = https://github.com/melsman/mlkit/archive/mlkit-4.4.3.tar.gz - source = Makefiledefault - md5sums = 65b4745ad5ed94d142405d5d0ccce140 - md5sums = 4aaf5cf417bfa1b816a14585199ec393 + source = https://github.com/melsman/mlkit/archive/refs/tags/v4.7.2.tar.gz + md5sums = e066ea26aac38a75ff70e390be1346b8 pkgname = mlkit - diff --git a/.gitignore b/.gitignore index 11046d3c70fe..4febc7444a8a 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ *.tar *.xz *.zip +*.zst
\ No newline at end of file diff --git a/Makefiledefault b/Makefiledefault deleted file mode 100644 index 9d7925152194..000000000000 --- a/Makefiledefault +++ /dev/null @@ -1,6 +0,0 @@ -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,25 +1,19 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=mlkit -pkgver=4.4.3 +pkgver=4.7.2 pkgrel=1 pkgdesc='Standard ML Compiler and Toolkit' url='http://www.elsman.com/mlkit/' license=('GPL2') -arch=('i686' 'x86_64') +arch=('x86_64') depends=('gmp') makedepends=('mlton>=20170725') -source=("https://github.com/melsman/mlkit/archive/$pkgname-$pkgver.tar.gz" - Makefiledefault) -md5sums=('65b4745ad5ed94d142405d5d0ccce140' - '4aaf5cf417bfa1b816a14585199ec393') - -prepare() { - cp Makefiledefault "mlkit-$pkgname-$pkgver" -} +source=("https://github.com/melsman/mlkit/archive/refs/tags/v$pkgver.tar.gz") +md5sums=('e066ea26aac38a75ff70e390be1346b8') build() { - cd "$pkgname-$pkgname-$pkgver" + cd "$pkgname-$pkgver" ./autobuild ./configure --sysconfdir=/etc --prefix=/usr make mlkit @@ -27,6 +21,6 @@ build() { } package() { - cd "$pkgname-$pkgname-$pkgver" + cd "$pkgname-$pkgver" make DESTDIR="$pkgdir/" install } |