Alon Bar-Lev wrote:
> Hello,
> 
> I had an issue that I solved in patching libtool, I am not sure this was
> the right thing to do, but if it was, I think it should go into libtool.
> 
> I require to produce a shared library that whose name is customizable by
> the user.

Why? I can understand wanting to change the extension, we have -shrext
for that. But why do you want the user to have the option to set the name?

Peter
-- 
Peter O'Gorman
http://pogma.com


_______________________________________________
http://lists.gnu.org/mailman/listinfo/libtool

Reply via email to