# HG changeset patch
# User wenzelm
# Date 1628766889 -7200
# Node ID f9f6a31cc99c9e046ff82516b066c8d35a9e5bec
# Parent  8d20b1cf0d5da3e154e3abe290aae2993c2c850f
proper prover_options for batch-build;

diff -r 8d20b1cf0d5d -r f9f6a31cc99c src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Thu Aug 12 13:13:10 2021 +0200
+++ b/src/Pure/System/options.scala	Thu Aug 12 13:14:49 2021 +0200
@@ -141,11 +141,6 @@
   }
 
 
-  /* encode */
-
-  val encode: XML.Encode.T[Options] = (options => options.encode)
-
-
   /* Isabelle tool wrapper */
 
   val isabelle_tool = Isabelle_Tool("options", "print Isabelle system options",
diff -r 8d20b1cf0d5d -r f9f6a31cc99c src/Pure/Tools/build_job.scala
--- a/src/Pure/Tools/build_job.scala	Thu Aug 12 13:13:10 2021 +0200
+++ b/src/Pure/Tools/build_job.scala	Thu Aug 12 13:14:49 2021 +0200
@@ -427,11 +427,13 @@
           Exn.capture { process.await_startup() } match {
             case Exn.Res(_) =>
               val resources_yxml = resources.init_session_yxml
+              val encode_options: XML.Encode.T[Options] =
+                options => session.prover_options(options).encode
               val args_yxml =
                 YXML.string_of_body(
                   {
                     import XML.Encode._
-                    pair(string, list(pair(Options.encode, list(pair(string, properties)))))(
+                    pair(string, list(pair(encode_options, list(pair(string, properties)))))(
                       (session_name, info.theories))
                   })
               session.protocol_command("build_session", resources_yxml, args_yxml)