blob: 6f2b735bffa0e038fcd1e45d048346bfd62d3fd0 (
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
27
28
|
# Maintainer: Ramana Kumar <firstname|@|member.fsf.org>
# Contributor: Lars Hupel <lars@hupel.info>
pkgname=opentheory
epoch=1
pkgver=1.4.20230321
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=(gmp)
makedepends=(mlton)
source=("https://github.com/gilith/$pkgname/releases/download/v$pkgver/$pkgname.tar.gz")
sha256sums=('666651c7ce8447644c17090a26d3abce27c06d89e8c1e6d1f9bd03e47f1d4a75')
build() {
cd "$srcdir/$pkgname"
make mlton
}
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:
|