Hi Helmut,
Thanks for uncovering this issue. Indeed the .mod files are compiler
generated so they should be arch-dependent, and hence do not belong in
`/usr/include` (which is where upstream installs it).
My question is what's the canonical location for such files on Debian?
Being arch-dependent, they probably belong somewhere under ${libdir},
such as:
a. ${libdir}/finclude
b. ${libdir}/${packagename}/
c. ${libdir}/${packagename}/include
Is there a preference for which is location would be most appropriate,
or conventional, for Debian packages? I'm in contact with the upstream
developers also, so whatever the fix is, it can be applied upstream also.
Thanks,
-- Attila.