src/Pure/Tools/build.scala
changeset 68090 0763d4eb3ebc
parent 68088 9e1c670301b8
child 68094 888d35a19866
     1.1 --- a/src/Pure/Tools/build.scala	Sat May 05 21:44:18 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat May 05 22:33:35 2018 +0200
     1.3 @@ -282,6 +282,11 @@
     1.4                Library.try_unprefix("\floading_theory = ", line) match {
     1.5                  case Some(theory) => progress.theory(name, theory)
     1.6                  case None =>
     1.7 +                  for {
     1.8 +                    text <- Library.try_unprefix("\fexport = ", line)
     1.9 +                    (args, body) <-
    1.10 +                      Markup.Export.dest_inline(XML.Decode.properties(YXML.parse_body(text)))
    1.11 +                  } { } // FIXME
    1.12                },
    1.13              progress_limit =
    1.14                options.int("process_output_limit") match {