z3: mark as broken on i686

2018-10-16 13:00:46 -03:00 · 2018-10-16 13:00:46 -03:00 · 8f86b5c839
commit 8f86b5c839
parent e29531b735
1 changed files with 4 additions and 0 deletions
--- 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