blob: 0f699b28492cd627c29d8f0e04dbd60c64a8757d (
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
29
30
|
# Maintainer: Filipe Laíns (FFY00) <lains@archlinux.org>
_pkgname=sat-solver
pkgname=python-simplesat
pkgver=0.8.2
pkgrel=8
pkgdesc='SAT solver for use in Enstaller, based on the MiniSat implementation'
arch=('any')
url='https://github.com/enthought/sat-solver'
license=('MIT')
depends=('python' 'python-attrs' 'python-okonomiyaki' 'python-six')
makedepends=('git' 'python-setuptools')
source=("git+$url.git#tag=v$pkgver")
sha512sums=('SKIP')
build() {
cd $_pkgname
python setup.py build
}
package() {
cd $_pkgname
python setup.py install --root="$pkgdir" --optimize=1 --skip-build
install -Dm 644 LICENSE.txt "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
}
# vim:set ts=2 sw=2 et:
|