# HG changeset patch
# User wenzelm
# Date 1492033473 -7200
# Node ID 4519c8cc4bececb29697e3459b9046febc15f167
# Parent  5624e9694915e7df8f893382a47d0a2a7455ba34
proper bootstrap base for building Pure;

diff -r 5624e9694915 -r 4519c8cc4bec src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Apr 12 23:35:42 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Apr 12 23:44:33 2017 +0200
@@ -33,8 +33,11 @@
   {
     def pure(options: Options): Base = session_base(options, Thy_Header.PURE)
 
-    lazy val bootstrap: Base =
-      Base(keywords = Thy_Header.bootstrap_header, syntax = Thy_Header.bootstrap_syntax)
+    def bootstrap(global_theories: Map[String, String]): Base =
+      Base(
+        global_theories = global_theories,
+        keywords = Thy_Header.bootstrap_header,
+        syntax = Thy_Header.bootstrap_syntax)
 
     private[Sessions] def known_theories(
         local_dir: Path,
@@ -137,7 +140,7 @@
           try {
             val parent_base =
               info.parent match {
-                case None => Base.bootstrap
+                case None => Base.bootstrap(global_theories)
                 case Some(parent) => session_bases(parent)
               }
             val resources = new Resources(parent_base,