Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
authorwenzelm
Wed, 19 Jul 2023 11:40:00 +0200
changeset 78404 b66b6cc1eb8c
parent 78403 a09929ad05b6
child 78405 8ff1698e7247
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Wed Jul 19 11:31:19 2023 +0200
+++ b/etc/options	Wed Jul 19 11:40:00 2023 +0200
@@ -183,6 +183,9 @@
 
 section "Build Process"
 
+option build_context : string = ""
+  -- "free-form information for session build (to be interpreted in Isabelle/ML)"
+
 option build_thorough : bool = false
   -- "observe dependencies on options with tag 'content' or 'document'"
isabelle