libGmsh -> libgmsh
This is part of series of PRs from Debian fixes (see https://anonscm.debian.org/cgit/debian-science/packages/gmsh.git/tree/debian/patches).
This patch changes the filename libGmsh.so
to libgmsh.so
to adhere better to the Unix tradition of lowercase library names (see libblas.so
, libcurl.so
etc.). Likewise, the Java library is called java-gmsh
. SO versions are changed to GMSH_MAJOR_VERSION
.