<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hello Christoph, in fact I did an update to the latest trunk version this morning,<div>then tried to compile when it failed, then about 15 minutes later I did try another</div><div>update and now it seems to go through. Obviously, in the meantime there were</div><div>a few additions.</div><div><br></div><div>Thanks and greetings, Benedikt</div><div><br></div><div><br><div><div>On Jul 16, 2012, at 10:38 AM, Christoph Grüninger wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hi Benedikt,<br>is your dune-common up-to-date? I have the missing file dune/common/promotiontraits.hh since 2012-07-11.<br><br>Bye<br>Christoph<br><br>Am 16.07.2012 09:56, schrieb Jö Fahlke:<br><blockquote type="cite">Am Mon, 16. Jul 2012, 09:22:42 +0200 schrieb Benedikt Oswald:<br></blockquote><blockquote type="cite"><blockquote type="cite">Dear Dune, attached please find an error report for the trunk failing to compile.<br></blockquote></blockquote><blockquote type="cite">[...]<br></blockquote><blockquote type="cite"><blockquote type="cite">../../../dune/istl/bvector.hh:11:41: fatal error: dune/common/promotiontraits.hh: No such file or directory<br></blockquote></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Ugh, first idea: a patch was applied which created a new file, but the<br></blockquote><blockquote type="cite">committer forgot to add the file before committing...<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">Regards,<br></blockquote><blockquote type="cite">Jö.<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">_______________________________________________<br></blockquote><blockquote type="cite">Dune mailing list<br></blockquote><blockquote type="cite"><a href="mailto:Dune@dune-project.org">Dune@dune-project.org</a><br></blockquote><blockquote type="cite"><a href="http://lists.dune-project.org/mailman/listinfo/dune">http://lists.dune-project.org/mailman/listinfo/dune</a><br></blockquote><blockquote type="cite"><br></blockquote><br>-- <br>TeX ist ineffizient<br>Weil es Mathematische Ausdrücke so dermaßen schön setzt, dass ich<br>mich regelmäßig dabei erwische, wie ich meine eigenen Gleichungen<br>angucke, obwohl ich sie bereits in- und auswendig kenne.<br> -- ThePhysicist im Forum von heise online<br><br><br><br>_______________________________________________<br>Dune mailing list<br><a href="mailto:Dune@dune-project.org">Dune@dune-project.org</a><br>http://lists.dune-project.org/mailman/listinfo/dune<br></div></blockquote></div><br><div apple-content-edited="true">
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>--------------------------------------------------------------------------------------------------------------------------------------------------------------------</div><div>Benedikt Oswald, Dr. sc. techn., dipl. El. Ing. ETH, <a href="http://www.psi.ch">www.psi.ch</a>, GFA</div><div>Paul Scherrer Institute (PSI), CH-5232 Villigen, Suisse, <a href="mailto:benedikt.oswald@psi.ch">benedikt.oswald@psi.ch</a>, +41(0)56 310 32 12</div><div><br></div><div>"Passion is required for any great work, and for the revolution passion and audacity are required in big doses.",<br> Ernesto 'Che' Guevara, Letter to his parents.<br>--------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></div></div></span></div></span></div></span></span>
</div>
<br></div></body></html>