# HG changeset patch
# User wenzelm
# Date 1592685324 -7200
# Node ID 2d658beb815b6a13436ae6a1a586c606a9f670c1
# Parent  e5fe4d40326d7e6053f0b056e9aba60f8682a18e
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);

diff -r e5fe4d40326d -r 2d658beb815b Admin/jenkins/build/etc/settings
--- a/Admin/jenkins/build/etc/settings	Sat Jun 20 21:44:43 2020 +0200
+++ b/Admin/jenkins/build/etc/settings	Sat Jun 20 22:35:24 2020 +0200
@@ -1,1 +1,2 @@
 ISABELLE_TOOLS="$COMPONENT:$ISABELLE_TOOLS"
+ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"
diff -r e5fe4d40326d -r 2d658beb815b NEWS
--- a/NEWS	Sat Jun 20 21:44:43 2020 +0200
+++ b/NEWS	Sat Jun 20 22:35:24 2020 +0200
@@ -91,6 +91,10 @@
 
 *** System ***
 
+* System option "pide_session" is enabled by default, notably for
+standard "isabelle build": this allows to invoke Isabelle/Scala
+operations from Isabelle/ML.
+
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).
 
diff -r e5fe4d40326d -r 2d658beb815b etc/options
--- a/etc/options	Sat Jun 20 21:44:43 2020 +0200
+++ b/etc/options	Sat Jun 20 22:35:24 2020 +0200
@@ -150,7 +150,7 @@
 
 section "PIDE Build"
 
-option pide_session : bool = false
+option pide_session : bool = true
   -- "build session heaps via PIDE"
 
 option pide_reports : bool = true
diff -r e5fe4d40326d -r 2d658beb815b src/Doc/ROOT
--- a/src/Doc/ROOT	Sat Jun 20 21:44:43 2020 +0200
+++ b/src/Doc/ROOT	Sat Jun 20 22:35:24 2020 +0200
@@ -378,7 +378,7 @@
     "root.tex"
 
 session System (doc) in "System" = Pure +
-  options [document_variants = "system", thy_output_source, pide_session]
+  options [document_variants = "system", thy_output_source]
   sessions
     "HOL-Library"
   theories
diff -r e5fe4d40326d -r 2d658beb815b src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Jun 20 21:44:43 2020 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Jun 20 22:35:24 2020 +0200
@@ -340,6 +340,7 @@
         Remote_Build("AFP2", "lrzcloud2", actual_host = "10.195.4.41", self_update = true,
           proxy_host = "lxbroy10", proxy_user = "i21isatest",
           options = "-m32 -M1x8 -t AFP" +
+            """ -e 'ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"'""" +
             " -e ISABELLE_GHC=ghc" +
             " -e ISABELLE_MLTON=mlton" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +