[odb-users] odb-2.2.1 should install the odb.so plugin into $(gcc -print-file-name=plugin)

[Hugo.Mildenberger at web.de]

Hi Boris,

   Boris Kolpackov <boris at codesynthesis.com> wrote:
   > H> Except for installing the plugin below /usr/libexec, which I feel
   > H> would not really be needed anymore. Is there a remaining use case? 
   > H> Without an installed gcc or with an installed gcc without plugin   
   > H> support, installing odb.so anywhere does not make much sense.
   > 
   > For example, someone may want to install multiple versions of ODB
   > into some non-default location (e.g., /opt/odb-2.1 and /opt/odb-2.2)
   > In this case, installing the plugin into the GCC's directory will
   > override the previous installation.

Doesn't your argument call for the conclusion that the ODB plugin filename needs a version tag? 

  > Generally, I don't think it is correct to install the plugin into
  > the GCC's directory unless both GCC and ODB are installed into the
  > same prefix or the user explicitly instructed us to do so. Think
  > about installing ODB into /usr/local and installing plugin into
  > /usr/lib/... -- does not feel right.

Yes, I like the "same-prefix" idea.
 

Hugo