duneproject should not accept modules names which include numbers
I was able to create a new DUNE module which contained trailing numbers (e.g., dune-foo1
), using duneproject
. Such names, however, seem not to be supported by DUNE (i.e., dependend modules cannot find the module, since the trailing numbers are stripped from the module name). Hence I would expect duneproject
to reject such module names in the first place.