summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMort Yao2022-11-03 00:42:01 +0100
committerMort Yao2022-11-03 00:42:01 +0100
commit60102d1b081ec47a6b42c63d740b733adda15e12 (patch)
tree4cc1916417c521238978b7f337fe3adda61d3681 /PKGBUILD
parent0564f998a3a3c8ca443844bfd604e1ff89cadfab (diff)
downloadaur-60102d1b081ec47a6b42c63d740b733adda15e12.tar.gz
mlkit 4.7.2-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD18
1 files changed, 6 insertions, 12 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 6a6fa4ad9510..2cc2b9a6a266 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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
}