K 10 svn:author V 7 thierry K 8 svn:date V 27 2020-06-14T10:46:34.609376Z K 7 svn:log V 128 Add the _seq suffix to libraries when MPI is disabled and install mpi.h: this is needed for some applications (e.g. FreeFem++). END