blob: 6b65d4635b9a8bd5a8e400ee4bd2a5414a6501e9 (
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.13.4
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.13.4.tar.gz
sha512sums = fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
pkgname = mingw-w64-z3
|