blob: 2e39d474307a3923812e1b6415f82ed3fb8afd4a (
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
31
32
33
34
35
36
37
38
39
40
|
# Maintainer: Kuan-Yen Chou <kuanyenchou at gmail dot com>
pkgname=python-pysmt-git
pkgdesc="A library for SMT formulae manipulation and solving"
url="https://github.com/pysmt/pysmt"
pkgver=0.9.6.r5.g8767a7e
pkgrel=1
arch=('any')
depends=('python')
makedepends=('git' 'python-setuptools' 'python-build' 'python-installer'
'python-wheel' 'python-six')
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
license=('Apache')
source=("$pkgname::git+https://github.com/pysmt/pysmt#branch=master")
md5sums=('SKIP')
pkgver() {
cd "$srcdir/$pkgname"
git clean -xdf
if git describe --long --tags >/dev/null 2>&1; then
git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
else
printf 'r%s.%s' "$(git rev-list --count HEAD)" "$(git describe --always)"
fi
}
build() {
cd "$srcdir/$pkgname"
python -m build --wheel --no-isolation
}
package() {
cd "$srcdir/$pkgname"
python -m installer \
--destdir="$pkgdir" \
--prefix=/usr \
--compile-bytecode=1 \
dist/*.whl
}
|