# HG changeset patch
# User wenzelm
# Date 1711576563 -3600
# Node ID 308ccc1ef9822c6270e6c7525350b0cc872dc864
# Parent  da323d3d75704b64f2d93d8210442e82afa2d755
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;

diff -r da323d3d7570 -r 308ccc1ef982 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 27 22:12:37 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 27 22:56:03 2024 +0100
@@ -340,6 +340,7 @@
           java_heap = "8g",
           options = "-m32 -M1x5 -p pide_session=false -t AFP" +
             " -e ISABELLE_GHC_SETUP=true" +
+            " -e ISABELLE_GO_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
           args = "-a -d '~~/src/Benchmarks' -X large -X slow",