z3: rebuild for Python 3.9
This commit is contained in:
parent
2fc81d00da
commit
d10bd3db4e
|
@ -1,7 +1,7 @@
|
|||
# Template file for 'z3'
|
||||
pkgname=z3
|
||||
version=4.8.9
|
||||
revision=1
|
||||
revision=2
|
||||
wrksrc="${pkgname}-${pkgname}-${version}"
|
||||
build_style=configure
|
||||
configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"
|
||||
|
|
Loading…
Reference in New Issue