I would prefer to keep header-files in /usr/include/eigen3 as it is.
We have also eigen2, which will definitely conflict with eigen3, if header-files from both packages will be placed into /usr/include.
Also eigen has an "unsupported" folder which will be confusing, if we put it directly into /usr/include
Anton
I would prefer to keep header-files in /usr/include/eigen3 as it is.
We have also eigen2, which will definitely conflict with eigen3, if
header-files from both packages will be placed into /usr/include.
Also eigen has an "unsupported" folder which will be confusing, if we
put it directly into /usr/include
Anton