From 8f86b5c839eda2f6449d7d58674d75258f60efbc Mon Sep 17 00:00:00 2001
From: maxice8 <thinkabit.ukim@gmail.com>
Date: Tue, 16 Oct 2018 13:00:46 -0300
Subject: [PATCH] z3: mark as broken on i686

---
 srcpkgs/z3/template | 4 ++++
 1 file changed, 4 insertions(+)

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