[Dune] Globally installed modules vs. local modules

[Lukas Böger]

Sounds appealingly simple, but leads to the exact same cmake failure as
before: dune-alugrid is found in /usr and then the global
Headercheck.cmake is used instead of the local one...

Best
Lukas

On 27.06.2016 12:03, Christoph Grüninger wrote:
> Hi Lukas,
> you could also use dunecontrol's --only option and
> explicitly state all modules you have local. Then
> dunecontrol won't try to use the installed module.
> 
> Bye
> Christoph
>