proper session dirs; Isabelle2018
authorwenzelm
Sun Aug 12 14:28:28 2018 +0200 (4 months ago)
changeset 6874391162dd89571
parent 68739 0c62e3b4f4c0
child 68744 64fb127e33f7
child 68748 b9b5473f0c5c
proper session dirs;
src/Pure/Tools/dump.scala
     1.1 --- a/src/Pure/Tools/dump.scala	Tue Aug 07 11:39:40 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Sun Aug 12 14:28:28 2018 +0200
     1.3 @@ -94,7 +94,7 @@
     1.4      selection: Sessions.Selection = Sessions.Selection.empty): Process_Result =
     1.5    {
     1.6      if (Build.build_logic(options, logic, build_heap = true, progress = progress,
     1.7 -      dirs = dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
     1.8 +      dirs = dirs ::: select_dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
     1.9  
    1.10      val dump_options = make_options(options, aspects)
    1.11  
    1.12 @@ -116,7 +116,7 @@
    1.13      /* session */
    1.14  
    1.15      val session =
    1.16 -      Thy_Resources.start_session(dump_options, logic, session_dirs = dirs,
    1.17 +      Thy_Resources.start_session(dump_options, logic, session_dirs = dirs ::: select_dirs,
    1.18          include_sessions = include_sessions, progress = progress, log = log)
    1.19  
    1.20      val theories_result = session.use_theories(use_theories, progress = progress)