#1417 Metis support is buggy
Metadata
Property | Value |
---|---|
Reported by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Reported at | Jan 15, 2014 13:44 |
Type | Bug Report |
Version | 2.2 |
Operating System | Unspecified / All |
Description
in config.h HAVE_METIS is set to 1 if metis is found. Oth the metis flags are not added to the dune flags. We should either use the usual ENABLE_* trick, or add the flags to the default flags.