<div dir="ltr"><div><div><div><div>Hey Martin,<br><br></div>thanks for letting us now!<br><br></div>I have rewritten your patches for consistent identation and alphabetical order of the includes.<br></div><div>Applied to master and release branch.<br></div><div><br></div>Best,<br></div>Dominic<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 23, 2015 at 9:52 AM, Martin Vogt <span dir="ltr"><<a href="mailto:martin.vogt@itwm.fraunhofer.de" target="_blank">martin.vogt@itwm.fraunhofer.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Hello list,<br>
<br>
when using dune-pdelab from a current git tree<br>
<br>
I get the following error:<br>
<br>
include/dune/pdelab/backend/solver.hh:7:44: fatal error:<br>
dune/pdelab/backend/interface.hh: No such file or directory<br>
 #include <dune/pdelab/backend/interface.hh><br>
                                            ^<br>
compilation terminated.<br>
<br>
<br>
>From the log:<br>
<br>
>Author: Steffen Müthing <<a href="mailto:muething@dune-project.org">muething@dune-project.org</a>><br>
>Date:   Fri Jun 26 11:38:13 2015 +0200<br>
>[Backend] Rename backendselector.hh -> interface.hh<br>
<br>
<br>
but interface.hh is not installed at all.<br>
<br>
"c.patch" attached.<br>
<br>
<br>
Next is:<br>
<br>
include/dune/pdelab/gridfunctionspace/gridfunctionspace.hh:25:56: fatal<br>
error: dune/pdelab/common/partitionviewentityset.hh: No such file or<br>
directory<br>
 #include <dune/pdelab/common/partitionviewentityset.hh><br>
                                                        ^<br>
compilation terminated.<br>
<br>
<br>
"d.patch" attached<br>
<br>
regards,<br>
<br>
Martin<br>
<br>
<br>_______________________________________________<br>
Dune mailing list<br>
<a href="mailto:Dune@dune-project.org">Dune@dune-project.org</a><br>
<a href="http://lists.dune-project.org/mailman/listinfo/dune" rel="noreferrer" target="_blank">http://lists.dune-project.org/mailman/listinfo/dune</a><br>
<br></blockquote></div><br></div>