<div dir="ltr"><div><div><div><div>Hey Max,<br><br></div>not sure whether this is what you are looking for, but I know that people use "supermodules" for that purpose. A super module is a repository, which has all the needed dune modules as submodules through the git-submodule mechanism. That way you can pin all the modules to specific revisions through commits in the supermodule. It doesnt handle uncommitted changes of course, but I would not recommend such a mechanism include those anyway. The approach is somewhat fiddly, but does not need support from the dune side at all.<br></div><br></div>Best,<br></div>Dominic<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jun 27, 2017 at 3:01 PM, Christian Engwer <span dir="ltr"><<a href="mailto:christian.engwer@uni-muenster.de" target="_blank">christian.engwer@uni-muenster.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Max,<br>
<span class=""><br>
> I was wondering whether there was a dune-internal solution to have an<br>
> executable report the state of its sources. I was thinking of some script<br>
> that is called at compile-time through a macro (if possible) and exploits<br>
> git functionality in the sense that it provides the SHA1-IDs of all<br>
> dune-modules used as well as uncommited changes.<br>
<br>
</span>we once had such functionality (in the time of subversion), but<br>
oviously this does not work anymore. I also would like to have<br>
something similar, in order to ease reproducibility of numerical<br>
experiments.<br>
<br>
I would even suggest to include such functionality in dune-common<br>
(once we have figured out how to do it properly...).<br>
<br>
First question would be, it is OK to limit ourselfs to git and<br>
installed modules?<br>
<br>
Ciao<br>
Christian<br>
<br>
______________________________<wbr>_________________<br>
Dune mailing list<br>
<a href="mailto:Dune@lists.dune-project.org">Dune@lists.dune-project.org</a><br>
<a href="http://lists.dune-project.org/mailman/listinfo/dune" rel="noreferrer" target="_blank">http://lists.dune-project.org/<wbr>mailman/listinfo/dune</a></blockquote></div><br></div>