diff options
author | Mort Yao | 2016-03-13 01:45:45 +0100 |
---|---|---|
committer | Mort Yao | 2016-03-13 01:45:45 +0100 |
commit | 09432d53f3a076fa810b1c0f45d4ac6e97350ddb (patch) | |
tree | 2e02a3d8deb47e557bcc635580c13af2e465c932 | |
download | aur-09432d53f3a076fa810b1c0f45d4ac6e97350ddb.tar.gz |
mlkit 4.3.9-1
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | .gitignore | 7 | ||||
-rw-r--r-- | PKGBUILD | 26 |
3 files changed, 50 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..a4a722f6783a --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +# Generated by mksrcinfo v8 +# Sun Mar 13 00:43:00 UTC 2016 +pkgbase = mlkit + pkgdesc = Standard ML Compiler and Toolkit + pkgver = 4.3.9 + pkgrel = 1 + url = http://www.elsman.com/mlkit/ + arch = i686 + arch = x86_64 + license = GPL2 + makedepends = mlton>=20051202 + depends = gmp + source = https://github.com/melsman/mlkit/archive/mlkit-4.3.9.tar.gz + md5sums = 8a6d2146c935914ec5ff494d75bab602 + +pkgname = mlkit + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..c0c0101576a5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +/pkg +/src +*.bz2 +*.gz +*.tar +*.xz +*.zip diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..399d0230ca18 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: Mort Yao <soi@mort.ninja> + +pkgname=mlkit +pkgver=4.3.9 +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') + +build() { + cd "$pkgname-$pkgname-$pkgver" + ./autobuild + ./configure --sysconfdir=/etc --prefix=/usr + make mlkit + make mlkit_libs +} + +package() { + cd "$pkgname-$pkgname-$pkgver" + make DESTDIR="$pkgdir/" install +} |