From: Jack O'Q. <jac...@gm...> - 2005-05-27 23:16:22
|
On 5/27/05, Brian Gerkey <ge...@ai...> wrote: > Jack O'Quin wrote: > > I recently made a trivial player patch just for that. If $PLAYERPATH > > is not defined, it assumes "/usr/local/lib:/usr/lib". I've been meanin= g to > > submit this to the playerstage developers, but haven't done that yet. > > I am considering an improvement, using "$prefix/lib" as the default, > > ($prefix being the player installation prefix). >=20 > I've recently made changes that pretty much do this. >=20 > Starting in the 1.6.4 release, one of the ways that player tries to load > a plugin is by passing the bare library name to lt_dlopenext(). That > will find the plugin if it's installed in one of the places that the > linker/loader looks by default, which is system-dependent, but *should* > include /usr/lib and /usr/local/lib. If either of those directories is > left out of the default search path (e.g., some RedHat versions miss out > /usr/local/lib), I consider it a bug in the OS configuration. We should > not work around this bug; it can cause trouble any time you try to load > a shared lib, and the user should fix it explicitly (e.g., by addding > /usr/local/lib to /etc/ld.so.conf). >=20 > Currently only in CVS is support for finding plugins in $prefix/lib. It > will appear in the next release. That seems better than my simple solution. If anyone wants to use my patch for an earlier version (for some reason), I'll send it to you off-lis= t. No need for an "official" patch, as the problem is already fixed in CVS. --=20 joq |