summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: f71d5b16f9f5f09febc4bec68b69b745e8bea93a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# Maintainer: Mort Yao <soi@mort.ninja>

pkgname=mlkit
pkgver=4.7.9
pkgrel=1
pkgdesc='Standard ML Compiler and Toolkit'
url='http://www.elsman.com/mlkit/'
license=('GPL2')
arch=('x86_64')
depends=('gmp')
makedepends=('mlton>=20170725')
source=("https://github.com/melsman/mlkit/archive/refs/tags/v$pkgver.tar.gz")
md5sums=('f60bc85dd23d4771c69a66b7e68956a5')

build() {
  cd "$pkgname-$pkgver"
  ./autobuild
  ./configure --sysconfdir=/etc --prefix=/usr
  make mlkit
  make mlkit_libs
}

package() {
  cd "$pkgname-$pkgver"
  make DESTDIR="$pkgdir/" install
}