<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On 2 Jun 2015, at 16:16, Frank Löffler &lt;<a href="mailto:knarf@cct.lsu.edu">knarf@cct.lsu.edu</a>&gt; wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On Tue, Jun 02, 2015 at 02:19:59PM +0200, Ian Hinder wrote:<br><blockquote type="cite">But not disallowed, right?<br></blockquote><br>Not disallowed right now. They would generate warnings. At some point we<br>will disallow it.<br><br><blockquote type="cite">I don't want old Kranc-generated thorns to fail to compile and need to<br>be regenerated.<br></blockquote><br>Isn't one of the main points of Kranc-generated thorns that you can<br>easily regenerate them? I would worry more if we would have tens of<br>hand-written thorns with these.<br></blockquote><div><br></div><div>Indeed. &nbsp;If you (still) have access to Mathematica. &nbsp;I just don't see the point of deliberately breaking backward compatibility, even in the case where the old behaviour was not in agreement with the documentation. &nbsp;What is the benefit of doing this?</div><br><blockquote type="cite"><blockquote type="cite"><blockquote type="cite">Frank is working on providing shell-script support functions for<br></blockquote></blockquote><br><blockquote type="cite">There is a ticket (<a href="https://trac.einsteintoolkit.org/ticket/1175">https://trac.einsteintoolkit.org/ticket/1175</a>) and a<br>wiki page<br>(<a href="https://docs.einsteintoolkit.org/et-docs/Improving_the_treatment_of_external_libraries">https://docs.einsteintoolkit.org/et-docs/Improving_the_treatment_of_external_libraries</a>)<br>related to this from a while ago.<br></blockquote><br>Good point. However, I don't plan to overhaul the current system right<br>now. I only want to homogenize it a bit - which in turn should make it<br>easier later to implement all the changes proposed there.<br></blockquote><div><br></div>OK, that is good in any case. &nbsp;I guess you can one-by-one pull out common functions into a library of bash functions or something.</div><div><br><blockquote type="cite">Specifically: I am only looking into the "factoring out common code"<br>section, and also not all of that (e.g., I leave building to the<br>scripts, as this usually needs special treatment for each library).<br></blockquote><div><br></div><div>Yes, I had the same thought when reading the wiki page; building is really something that should be customised by the thorn. On the other hand, I think some of the thorns have their own "build.sh" script, and it might make sense for the Cactus library shell function to handle the standard options etc, and call the thorn's build script, rather than having the configure script call the build script (or contain the build commands) in the top-level. &nbsp;But you'll probably get a good feel for the right thing to do as you're doing it.</div></div><br><div apple-content-edited="true">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>--&nbsp;</div><div>Ian Hinder</div><div><a href="http://members.aei.mpg.de/ianhin">http://members.aei.mpg.de/ianhin</a></div></div></div></div></div>
</div>
<br></body></html>