PKGBUILD


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

pkgname=zz-git
pkgver=0.1.1.235.ga1557a5
pkgrel=1
pkgdesc="ZetZ a zymbolic verifier and tranzpiler to bare metal C"
arch=('x86_64' 'i686')
url="https://github.com/zetzit/zz"
license=('MIT' 'Apache')
depends=('z3')
makedepends=('cargo' 'git')
optdepends=()
provides=('zz')
conflicts=('zz')
source=($pkgname::git+https://github.com/zetzit/zz)
sha256sums=('SKIP')

pkgver() {
	cd $pkgname
	echo $(grep '^version =' Cargo.toml|head -n1|cut -d\" -f2).$(git rev-list --count HEAD).g$(git describe --always)
}

build() {
	cd $pkgname
	cargo build --release
}

package() {
	cd $pkgname
	install -D -m755 "$srcdir/$pkgname/target/release/zz" "$pkgdir/usr/bin/zz"
}