blob: 6d73ba7fcf3f8abfb580908e9d9832c269be01b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = mingw-w64-z3
pkgdesc = High-performance theorem prover (mingw-w64)
pkgver = 4.8.12
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.12.tar.gz
sha512sums = 0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e
pkgname = mingw-w64-z3
|