HDF5 library version mismatched error in FEniCS

[camilla....@gmail.com]

Dear FEniCS support team and Users,

I have installed FEniCS (version 2016.1.0) using a prebuild Docker image. It has always been running properly for months, but since a couple of days I get a mismatch error message, which I post below.

'*********************************************************************************************

Warning! ***HDF5 library version mismatched error***
The HDF5 header files used to compile this application do not match
the version used by the HDF5 library to which this application is linked.
Data corruption or segmentation faults may occur if the application continues.
This can happen when an application was compiled by one version of HDF5 but
linked with a different version of static or shared HDF5 library.
You should recompile the application or check your shared library related
settings such as 'LD_LIBRARY_PATH'.
You can, at your own risk, disable this warning by setting the environment
variable 'HDF5_DISABLE_VERSION_CHECK' to a value of '1'.
Setting it to 2 or higher will suppress the warning messages totally.
Headers are 1.10.2, library is 1.8.16

(A summary of the configuration follows)

**********************************************************************************************

I have updated my HDF5 library, then installed h5py again (I install it via pip), but it did not work.

The variable LD_LIBRARY_PATH is set to /usr/local/bin.

Any help would be appreciated.

Thanks and Regards,

Camilla

[Johannes Ring]

You will have to recompile DOLFIN after you update HDF5.

Johannes

--
You received this message because you are subscribed to the Google Groups "fenics-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fenics-support+unsubscribe@googlegroups.com.
To post to this group, send email to fenics-support@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fenics-support/78941ae8-f147-443d-b4e0-0adcd9d1cbf5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.