blob: 578c286d2e68f2865d7e774f713953b7815d5673 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = mingw-w64-z3
pkgdesc = High-performance theorem prover (mingw-w64)
pkgver = 4.8.8
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = any
license = MIT
makedepends = mingw-w64-cmake
makedepends = python
depends = mingw-w64-gmp
options = !strip
options = !buildflags
options = staticlibs
source = https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz
sha512sums = a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f
pkgname = mingw-w64-z3
|