etc/options

   -- "ML debugger exception trace for toplevel command execution"
 
 public option ML_debugger : bool = false
   -- "ML debugger instrumentation for newly compiled code"
 
-public option ML_system_64 : bool = false for build
+public option ML_system_64 : bool = false for build build_sync
   -- "prefer native 64bit platform (change requires restart)"
 
 public option ML_system_apple : bool = true for build
   -- "prefer native Apple/ARM64 platform (change requires restart)"
 

   -- "observe dependencies on options with tag 'content' or 'document'"
 
 option build_hostname : string = ""
   -- "alternative hostname for build process (default $ISABELLE_HOSTNAME)"
 
-option build_engine : string = ""
+option build_engine : string = "" for build_sync
   -- "alternative session build engine"
 
-option build_database : bool = false
+option build_database : bool = false for build_sync
   -- "expose state of build process via central database"
 
 option build_database_slice : real = 300
   -- "slice size in MiB for ML heap stored within database"
 

   -- "update cite commands and antiquotations"
 
 
 section "Build Database"
 
-option build_database_server : bool = false for connection
+option build_database_server : bool = false for connection build_sync
 option build_database_user : string = "" for connection
 option build_database_password : string = "" for connection
 option build_database_name : string = "" for connection
 option build_database_host : string = "" for connection
 option build_database_port : int = 0 for connection