[Bug 221321] math/z3: Add SONAME to the linked library

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=221321

Ed Maste <emaste at freebsd.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |emaste at freebsd.org

--- Comment #14 from Ed Maste <emaste at freebsd.org> ---
For reference, from the linked pull request it looks upstream is using
.so.<major>.<minor>

As a practical matter I don't think it much matters if we choose .so.0 and
upstream's next update uses (e.g.) .so.4.4 or if we choose .so.4 and the future
update uses .so.4.4.

-- 
You are receiving this mail because:
You are the assignee for the bug.