user/z3: Update to 4.8.17, switch to CMake
Upstream recommends CMake for packaging. This also resolves the issue where the SONAME links were not being generated, causing dep errors. Fixes: #643
Loading
Please register or sign in to comment
Upstream recommends CMake for packaging. This also resolves the issue where the SONAME links were not being generated, causing dep errors. Fixes: #643