enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;
authorwenzelm
Wed, 28 Aug 2019 23:01:53 +0200
changeset 70816 cb83a582bf0c
parent 70815 1ae987cc052f
child 70817 e59a4ae35b88
enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;
src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Wed Aug 28 22:59:49 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Wed Aug 28 23:01:53 2019 +0200
@@ -171,6 +171,7 @@
       val use_theories_result =
         session.use_theories(use_theories,
           unicode_symbols = unicode_symbols,
+          share_common_data = true,
           progress = progress,
           commit = Some(Consumer.apply _))