diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
new file mode 100644
index 0000000000..5b533ae743
--- /dev/null
+++ b/srcpkgs/z3/template
@@ -0,0 +1,48 @@
+# Template file for 'z3'
+pkgname=z3
+version=4.3.2
+revision=1
+_gitrev=ac21ffebdf1512da2a77dc46c47bde87cc3850f3
+wrksrc=${pkgname}-${_gitrev}
+hostmakedepends="python"
+makedepends="libgomp-devel gmp-devel"
+depends="python"
+pycompile_module="z3.py z3consts.py z3core.py z3num.py z3poly.py z3printer.py
+ z3rcf.py z3test.py z3types.py z3util.py"
+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
+
+do_configure() {
+	case "$XBPS_TARGET_MACHINE" in
+	i686*|x86_64*) : good ;;
+	*)
+		sed -i 's/-msse\|-msse2\|-mfpmath=sse//g' scripts/mk_util.py
+		sed -i '/define USE_INTRINSICS\|emmintrin.h/d' src/util/hwf.cpp
+	esac
+
+	./configure --prefix=/usr --githash=${_gitrev} -g
+}
+
+do_build() {
+	make ${makejobs} -C build all examples
+}
+
+do_install() {
+	vbin build/z3
+	vbin build/z3_tptp
+	vbin build/iz3
+	vbin build/maxsat
+	vinstall build/libz3.so 0755 usr/lib
+	for f in src/api/z3*.h; do
+		vinstall $f 0644 usr/include
+	done
+	vinstall src/api/c++/z3++.h 0644 usr/include
+	for f in ${pycompile_module}; do
+		vinstall build/$f 0644 usr/lib/python2.7/site-packages
+	done
+	vlicense LICENSE.txt
+}