[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

--- Comment #12 from arrowd <6yearold at gmail.com> ---
(In reply to Mathieu Arnold from comment #11)
This looks much like bikeshedding. I chose 0 because this is sort of "default"
value when upstream doesn't even care about soname versioning. What if they
decide to add it and start versioning with 0? Then our 4 would be "newer" that
their "0".

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