Skip to content

libGmsh -> libgmsh

Nico Schlömer requested to merge nschloe/gmsh:library-names into master

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.

Merge request reports