On Tue, 12 Jul 2011, Alexander Krauss wrote:
A) In the build process, before the invocation of isabelle usedir, paste the
output of "hg id" (or similar) into some source file, e.g.,
version.ML:
val build_version = "THE_VERSION";
IsaMakefile:
sed -i 's/THE_VERSION/$(hg id)/g' version.ML
isabelle usedir ...
Actually, a similar thing happens when an isabelle distribution is built
from a repository clone.
Alex needs to do this because he his crunching on the official sources.
If you have your own project sources, you can add things directly in the
ROOT.ML files, e.g. like this:
val my_id = unsuffix "\n" (#1 (bash_output "hg id"));
or
val my_id = getenv "MY_ID";
In the latter case you have your own settings (potentially via user
components with etc/settings) to ensure that the environment variable is
present at build time.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
