<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>Hi Andreas,</div><div>Probably an outdated CI config. Since <a href="https://gitlab.dune-project.org/core/dune-common/-/merge_requests/786">https://gitlab.dune-project.org/core/dune-common/-/merge_requests/786</a> it works for me. I rebased and force-pushed my branch and all went green.</div><div><br></div><div>Bye</div><div>Christoph</div><div><br>Am 19.03.2020 um 18:40 schrieb Dedner, Andreas <<a href="mailto:A.S.Dedner@warwick.ac.uk">A.S.Dedner@warwick.ac.uk</a>>:<br><br></div><blockquote type="cite"><div>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hope you are all well...</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I wanted to check, what the required g++ version now is?</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
In dune-common/README.md it says >=7 but for a few days now std::optinal is used in dune-common and that seems to fail with 7.3</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
which is the compiler our CI in Stuttgart is using with the Debian 10</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
image.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Best</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Andreas<br>
</div>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Dune mailing list</span><br><span><a href="mailto:Dune@lists.dune-project.org">Dune@lists.dune-project.org</a></span><br><span><a href="https://lists.dune-project.org/mailman/listinfo/dune">https://lists.dune-project.org/mailman/listinfo/dune</a></span></div></blockquote></body></html>