On 29.04.22 19:46, Andres Freund wrote:> explicitly using shared_library() rather than library()
Why is that? We do build static libraries right now, so using library() would seem more suitable for that.