jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

z3: enable build for i686

Browse source
This commit is contained in:
Jürgen Buchmüller 2020-01-27 14:02:10 +01:00
parent 40d980cfa5
commit 2c2852a7bd
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/z3/template
View file

@ -27,10 +27,6 @@ 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