diff options
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | PKGBUILD | 29 |
2 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..5b1d1d5f1c21 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = zz-git + pkgdesc = ZetZ a zymbolic verifier and tranzpiler to bare metal C + pkgver = 0.1.1.235.ga1557a5 + pkgrel = 1 + url = https://github.com/zetzit/zz + arch = x86_64 + arch = i686 + license = MIT + license = Apache + makedepends = cargo + makedepends = git + depends = z3 + provides = zz + conflicts = zz + source = zz-git::git+https://github.com/zetzit/zz + sha256sums = SKIP + +pkgname = zz-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..87a6ebed4925 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,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" +} |