[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 #11 from Mathieu Arnold <mat at FreeBSD.org> ---
The soname should probably be related to the version of the software, like the
major version number, 4 in this case.

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