Package Details: mingw-w64-z3 4.14.1-1

Git Clone URL: https://aur.archlinux.org/mingw-w64-z3.git (read-only, click to copy)
Package Base: mingw-w64-z3
Description: High-performance theorem prover (mingw-w64)
Upstream URL: https://github.com/Z3Prover/z3
Licenses: MIT
Submitter: xantares
Maintainer: xantares
Last Packager: xantares
Votes: 0
Popularity: 0.000000
First Submitted: 2019-10-13 09:38 (UTC)
Last Updated: 2025-04-03 05:37 (UTC)

Latest Comments

patlefort commented on 2024-01-27 13:39 (UTC) 

patching file src/ast/normal_forms/elim_term_ite.cpp
Reversed (or previously applied) patch detected!  Assume -R? [n]

Patch is already applied, can you remove it?

xantares commented on 2023-09-03 08:18 (UTC)

sorry, fixed

patlefort commented on 2023-09-02 18:59 (UTC)

Does not compile in clean chroot:

/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x10db): undefined reference to `rewriter_tpl<ng_push_app_ite_cfg>::rewriter_tpl(ast_manager&, bool, ng_push_app_ite_cfg&)'
/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x116b): undefined reference to `rewriter_tpl<ng_push_app_ite_cfg>::rewriter_tpl(ast_manager&, bool, ng_push_app_ite_cfg&)'
/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x11fb): undefined reference to `rewriter_tpl<push_app_ite_cfg>::rewriter_tpl(ast_manager&, bool, push_app_ite_cfg&)'
/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x128b): undefined reference to `rewriter_tpl<push_app_ite_cfg>::rewriter_tpl(ast_manager&, bool, push_app_ite_cfg&)'
/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x136d): undefined reference to `rewriter_tpl<elim_term_ite_cfg>::rewriter_tpl(ast_manager&, bool, elim_term_ite_cfg&)'
/usr/lib/gcc/i686-w64-mingw32/12.2.0/../../../../i686-w64-mingw32/bin/ld: CMakeFiles/libz3.dir/objects.a(install_tactic.cpp.obj):install_tactic:(.text+0x571b): undefined reference to `rewriter_tpl<elim_bounds_cfg>::rewriter_tpl(ast_manager&, bool, elim_bounds_cfg&)'
collect2: error: ld returned 1 exit status

Alexander3XL commented on 2022-12-27 08:14 (UTC)

I get an error: -- Build type: None CMake Error at CMakeLists.txt:138 (message): "None" is an invalid build type.

Add a build type: ${_arch}-cmake -DCMAKE_BUILD_TYPE=Release

pingplug commented on 2020-05-16 10:19 (UTC)

it seems z3.exe needs a strip, or just remove z3.exe if not needed

xantares commented on 2020-05-16 08:11 (UTC)

could you try -O1 or something ?

pingplug commented on 2020-05-16 03:51 (UTC)

package size is unusually large, two z3.exe take up 1.2GiB.

Martchus commented on 2019-10-14 13:41 (UTC)

The make dependency python is missing.