diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index e95a85533ce..bf25899a321 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -28,6 +28,10 @@ if [ -z "$CROSS_BUILD" ]; then
 	build_options_default="ocaml"
 fi
 
+case "$XBPS_TARGET_MACHINE" in
+	i686*) broken="Error: Integer literal exceeds the range of representable integers of type int" ;;
+esac
+
 post_install() {
 	vbin build/z3_tptp
 	vbin build/maxsat