diff options
author | Ramana Kumar | 2015-06-15 12:12:42 +0530 |
---|---|---|
committer | Ramana Kumar | 2015-06-15 12:12:42 +0530 |
commit | 715176e040c725040f57d86bc88134c1e442c801 (patch) | |
tree | ac06a24d8958fb72a0826defa171cf4e30ad2e4b | |
download | aur-715176e040c725040f57d86bc88134c1e442c801.tar.gz |
Initial import
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 25 |
2 files changed, 39 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..186b2ef55acf --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = opentheory + pkgdesc = a tool for processing higher-order logic theory packages + pkgver = 1.3 + pkgrel = 1 + url = http://www.gilith.com/software/opentheory + arch = i686 + arch = x86_64 + license = MIT + makedepends = mlton + source = opentheory-1.3.tar.gz::http://www.gilith.com/software/opentheory/opentheory.tar.gz + md5sums = 5b40a173daf5207fd594de7fa6755231 + +pkgname = opentheory + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..4baa6285abc6 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,25 @@ +# Maintainer: Ramana Kumar <at gmail dot com> +pkgname=opentheory +pkgver=1.3 +pkgrel=1 +pkgdesc="a tool for processing higher-order logic theory packages" +arch=('i686' 'x86_64') +url="http://www.gilith.com/software/opentheory" +license=('MIT') +groups=() +depends=() +makedepends=(mlton) +source=($pkgname-$pkgver.tar.gz::$url/$pkgname.tar.gz) +md5sums=('5b40a173daf5207fd594de7fa6755231') + +build() { + cd "$srcdir/$pkgname" + make mlton +} + +package() { + mkdir -p "$pkgdir/usr/bin" + cp -p "$srcdir/$pkgname/bin/mlton/$pkgname" "$pkgdir/usr/bin/$pkgname" +} + +# vim:set ts=2 sw=2 et: |