I personally think that if you specify a prefix where an enabled plugin
cannot work, configure should abort and tell you to specify
--plugin-location-should-be=/some/other/path.

Bastiaan

On Wed, 5 Mar 2008, strk wrote:

On Wed, Mar 05, 2008 at 11:51:15AM +0100, Patrice Dumas wrote:
On Wed, Mar 05, 2008 at 10:12:20AM +0100, strk wrote:

The problem with defaulting to the user-provided --prefix is that
the kde plugin would simply not work. Do you think that would be a
good default ?

Yes. I think that predictable install paths are more important than an
installation working in every case. If the user wants to use the system
filesystem he can use --prefix=/usr. But if the prefix is set to
/usr/local everything should be under /usr/local.



_______________________________________________
Gnash-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gnash-dev

Reply via email to