z3: update to 4.4.1.

srcpkgs/z3/template

@@ -1,9 +1,8 @@
 # Template file for 'z3'
 pkgname=z3
-version=4.4.0
-revision=2
-_gitrev=ac21ffebdf1512da2a77dc46c47bde87cc3850f3
-wrksrc=${pkgname}-${_gitrev}
+version=4.4.1
+revision=1
+wrksrc="${pkgname}-${pkgname}-${version}"
 hostmakedepends="python"
 makedepends="libgomp-devel gmp-devel"
 depends="python"
@@ -13,8 +12,8 @@ short_desc="Z3 theorem prover and SMT solver (command line + Python module)"
 maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
 license="MIT"
 homepage="https://github.com/Z3Prover/z3"
-distfiles="https://github.com/Z3Prover/z3/archive/${_gitrev}.tar.gz"
-checksum=bb9924948bfc2f718074a1775b190b0296bdeda5c0b8ba94289e57eeec98dd4e
+distfiles="https://github.com/Z3Prover/z3/archive/${pkgname}-${version}.tar.gz"
+checksum=50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce
 
 do_configure() {
 	case "$XBPS_TARGET_MACHINE" in
@@ -24,7 +23,7 @@ do_configure() {
 		sed -i '/define USE_INTRINSICS\|emmintrin.h/d' src/util/hwf.cpp
 	esac
 
-	./configure --prefix=/usr --githash=${_gitrev} -g
+	./configure --prefix=/usr -g
 }
 
 do_build() {