<div dir="ltr">Sorry for not replying earlier to do this, I had some holidays.<br><br><div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
> > dune-functions_FOUND<br>
<br>
is this really what we want? I doubt it. This is hard to read, very<br>
non-standard and inconsistent throughout the project.<br></blockquote></div><br></div><div class="gmail_extra">I agree in it being hard to read. But it is absolutely standard for the reasons<br></div><div class="gmail_extra">Markus pointed out and it is also consistently used.<br><br></div><div class="gmail_extra">We could of course define a redundant set of variables with more readable<br></div><div class="gmail_extra">names, like the config.h equivalent HAVE_DUNE_FOO.<br><br></div><div class="gmail_extra">Best,<br></div><div class="gmail_extra">Dominic<br></div></div></div>