tuned

2 files changed, 5 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 08c734581908..0c65edc5df52 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,14 @@
 pkgbase = opentheory
 	pkgdesc = a tool for processing higher-order logic theory packages
 	pkgver = 1.3.20180226
-	pkgrel = 1
+	pkgrel = 2
 	epoch = 1
 	url = http://www.gilith.com/software/opentheory
 	arch = i686
 	arch = x86_64
 	license = MIT
 	makedepends = mlton
+	depends = gmp
 	source = https://github.com/gilith/opentheory/releases/download/v1.3.20180226/opentheory.tar.gz
 	sha256sums = 888ad4fa39af1c918e83cb3f6e0efe67662bb6d5a4e967df5292cc338a5e9521
 
diff --git a/PKGBUILD b/PKGBUILD
index fec85cbb3629..3bae73b8ed4a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,13 +3,13 @@
 pkgname=opentheory
 epoch=1
 pkgver=1.3.20180226
-pkgrel=1
+pkgrel=2
 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=()
+depends=(gmp)
 makedepends=(mlton)
 source=("https://github.com/gilith/$pkgname/releases/download/v$pkgver/$pkgname.tar.gz")
 sha256sums=('888ad4fa39af1c918e83cb3f6e0efe67662bb6d5a4e967df5292cc338a5e9521')
@@ -22,6 +22,7 @@ build() {
 package() {
   mkdir -p "$pkgdir/usr/bin"
   cp -p "$srcdir/$pkgname/bin/mlton/$pkgname" "$pkgdir/usr/bin/$pkgname"
+  install -Dm644 "$srcdir/$pkgname/doc/MIT-LICENSE" "$pkgdir/usr/share/licenses/$pkgname/license"
 }
 
 # vim:set ts=2 sw=2 et: