I will soon push a change to the z3 package, in Rawhide only, which will result in an soname bump. The actual contents of libz3 will not change, however. The only Fedora consumer outside of the z3 package itself is cppcheck, which currently fails to build due to the recent cmake change. If the cppcheck maintainers want me to try to fix that, I will do so; otherwise, I am happy to let them fix it themselves. The gory details for those interested: The z3 project has two build systems: an old one, based on generating Makefiles with python scripts, and a new one based on cmake. We have been using the old one, because the cmake build system does not support building z3's OCaml interface. However, the old build system has a number of ... features ... that we had to work around, leading to a fair amount of uncleanness in the spec file. I have decided to take the plunge and switch to using the cmake build system, with manual steps afterward to build the OCaml interface. The old build system gave the z3 library an soname of "libz3.so", which the spec file modified to be "libz3.so.0", with a versioned library libz3.so.0.0.0. The cmake build system gives the library an soname of "libz3.so.4.8" (where 4 and 8 are the major and minor version numbers, respectively), with a versioned library libz3.so.4.8.8.0. This lets me throw out a bunch of cruft, while introducing a much smaller amount of cruft due to the OCaml interface. I think it's a win. -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
