[Dune] metis.h

[Florian Vogelbacher]

Dear Dune,

Just pulled the latest git version of dune
(7faf61fe5b6add56d1ed252befd8b941a8a18eb1) and got an issue about metis.h

Even though metis.h was defined in the opts file with
--with-metis= $HOME/extlib/metis/5.1.0/gcc/4.8.1/
and found by configure, the compilation failed with

>> [..]/hades/dune-istl/dune/istl/repartition.hh:14:19: fatal error:
>> metis.h: No such file or directory

Adding -I$HOME/extlib/metis/5.1.0/gcc/4.8.1/include to the CXXFLAGS in
the opts file solves the problem.

Might it be possible that --with-metis=[..] in the opts file or
somewhere else is to broken?

The same with alugrid_serial.h.

Did something change on DUNE-side? On my side I just used a
>> ./dune-common/bin/dunecontrol update all

and didn't touch anything else.

Thank you for your help.
Best Regards,
Florian