[Dune] State of source in executable

[Max Kahnt]

Dear all,

I was wondering whether there was a dune-internal solution to have an
executable report the state of its sources. I was thinking of some script
that is called at compile-time through a macro (if possible) and exploits
git functionality in the sense that it provides the SHA1-IDs of all
dune-modules used as well as uncommited changes.

I am aware that there are many pitfalls to it, but even if there is no such
built-in functionality, I would be interested if someone has a similar
mechanism up and running.

Best regards,
Max
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20170627/31363077/attachment.htm>