On Thu, 30 Jun 2016 21:51:19 +0200
Gilles Filippini wrote:
> No need to clutter it up. There is the environment variable HDF5_PLUGIN_PATH.
> From the HDF5 filters doc [1]:
> > The default path can be overwritten by a user with the HDF5_PLUGIN_PATH
> > environment variable. Several directories
Jerome BENOIT a écrit le 29/06/2016 à 08:32 :
> Hi,
>
> On 29/06/16 07:16, PICCA Frederic-Emmanuel wrote:
>>> I've juste uploaded release 1.10.0-patch1+docs-1~exp3 to experimental,
>>> configured with:
>>> --with-default-plugindir=/usr/lib/$(DEB_HOST_MULTIARCH)/hdf5/plugins
>
>
>> Just for infor
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Hi,
On 29/06/16 07:16, PICCA Frederic-Emmanuel wrote:
>> I've juste uploaded release 1.10.0-patch1+docs-1~exp3 to experimental,
>> configured with:
>> --with-default-plugindir=/usr/lib/$(DEB_HOST_MULTIARCH)/hdf5/plugins
>
>
> Just for information
what about the serial / openmp etc.. version of the plugings ?
> I've juste uploaded release 1.10.0-patch1+docs-1~exp3 to experimental,
> configured with:
> --with-default-plugindir=/usr/lib/$(DEB_HOST_MULTIARCH)/hdf5/plugins
Just for information do we have this plugin directory available in the
pkg-config file in order to setup
the plugging directory for a
Hi,
Jérôme Kieffer a écrit le 28/06/2016 à 09:16 :
> Dear HDF5 package maintainers,
>
> Currently the debian build system does not enforce the plugin directory
> for HDF5 filters, defaulting to "/usr/local/hdf5/lib/plugin". I guess
> Debian would prefer something like:
> "/usr/share/hdf5/plugin"
Dear HDF5 package maintainers,
Currently the debian build system does not enforce the plugin directory
for HDF5 filters, defaulting to "/usr/local/hdf5/lib/plugin". I guess
Debian would prefer something like:
"/usr/share/hdf5/plugin" or even better:
"/usr/lib/x86_64-linux-gnu/hdf5/plugins".
Would
7 matches
Mail list logo