<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi, hope everyone is doing 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);" data-keeper-edited="yes">
I think the boat has sailed on this one. That said, I did check the developer meeting minutes from the last two meetings and can't find any mention that this change will be coming. I do think a change like this should be discussed and voted on in a developer
meeting (if it was and I missed it in the minutes then apologies). <br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" data-keeper-edited="yes">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" data-keeper-edited="yes">
That said, since we have all now become experts in online meetings, we could consider putting that to good use and have a developer meeting (an afternoon perhapse) sometime soon?</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" data-keeper-edited="yes">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" data-keeper-edited="yes">
Best</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" data-keeper-edited="yes">
Andreas<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Dune-devel <dune-devel-bounces@lists.dune-project.org> on behalf of Peter Bastian <Peter.Bastian@iwr.uni-heidelberg.de><br>
<b>Sent:</b> 30 September 2020 09:47<br>
<b>To:</b> dune-devel@lists.dune-project.org <dune-devel@lists.dune-project.org><br>
<b>Subject:</b> Re: [Dune-devel] Vote: Required CMake version 3.1 or 3.13?</font>
<div> </div>
</div>
<div>Dear all,<br>
<br>
I would also prefer to go for the new version.<br>
Could we hear an argument by those prefering 3.10? Since there is<br>
Ubuntu 20.04 LTS now, maybe this argument has changed?<br>
<br>
Best,<br>
Peter<br>
<br>
<br>
<div class="x_moz-cite-prefix">Am 30.09.20 um 10:27 schrieb Oliver Sander:<br>
</div>
<blockquote type="cite">
<pre class="x_moz-quote-pre">Hi,
personally I don't care much either way. However, given that
a) the requirements have been changed 4 month ago, and nobody seems to have
cared until now,
b) I expect students that are able to install Dune master to be able
to install custom cmake binaries as well
c) I appreciate the modernization work of Simon (and Christoph, Lukas, etc)
a lot, and I would like to help them,
I vote for the status quo.
Best,
Oliver
On 29.09.20 21:17, Christoph Grüninger wrote:
</pre>
<blockquote type="cite">
<pre class="x_moz-quote-pre">Dear fellow Dune core developers,
in May I merged dune-common#200 [1] which bumped the required CMake
version for Dune core modules to 3.13. Roberts want to lower this to
CMake 3.10.
His rationale is, that Ubuntu 18.04 LTS only ships CMake 3.10.
As discussed in [1], I (and some others) want 3.12 for better Python
detection support and 3.13 for an improved library handling, which will
help us to modernize the build system (which we already started).
To get more arguments and much more opinions, please have a look at [1].
>From the discussion I assume that the following people are in favor of 3.10:
Robert
In favor of 3.13 seem to be:
Jö
Markus
Simon
Christoph
>From the following developers I don't have a clear opinion without
interpreting too much:
Peter
Ansgar
Andreas
Christian
Carsten
Dominic
Mario
Oliver
Please cast your vote by commenting to [1] or answering this email. If I
got your opinion wrong or you changed your mind, please vote. You have
two weeks (unit Okt. 13).
Thank you!
Christoph
[1] <a class="x_moz-txt-link-freetext" href="https://gitlab.dune-project.org/core/dune-common/-/issues/200">https://gitlab.dune-project.org/core/dune-common/-/issues/200</a>
</pre>
</blockquote>
<pre class="x_moz-quote-pre">
</pre>
<br>
<fieldset class="x_mimeAttachmentHeader"></fieldset>
<pre class="x_moz-quote-pre">_______________________________________________
Dune-devel mailing list
<a class="x_moz-txt-link-abbreviated" href="mailto:Dune-devel@lists.dune-project.org">Dune-devel@lists.dune-project.org</a>
<a class="x_moz-txt-link-freetext" href="https://lists.dune-project.org/mailman/listinfo/dune-devel">https://lists.dune-project.org/mailman/listinfo/dune-devel</a></pre>
</blockquote>
<br>
</div>
</body>
</html>