c++: error: unrecognized command line option '-Wint-to-void-pointer-cast'; did you mean '-Wint-to-pointer-cast'?
From Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=927808.
(Note that this is on 4.1.3, it might have been fixed in Gmsh in the meantime.)
Edited by Nico Schlömer