# HG changeset patch
# User wenzelm
# Date 1689759600 -7200
# Node ID b66b6cc1eb8cf705a5c2e438e7b1f453d1c32d1a
# Parent  a09929ad05b64416aef812f5df49b1ea36208dc4
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);

diff -r a09929ad05b6 -r b66b6cc1eb8c etc/options
--- 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'"