CONFIGURE: added a configure option to add SONAME suffix (#11483)
R
Roie Danino committed
181056a4609e6ef77e890ab45ac7594bc67eff0b
Parent: df65ebd
Committed by GitHub <noreply@github.com>
on 7/2/2026, 9:27:01 AM