diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 18 |
1 files changed, 6 insertions, 12 deletions
@@ -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 } |