# HG changeset patch
# User wenzelm
# Date 1697374759 -7200
# Node ID b78158997a28002b510d0d5a1b77b7b7a35769e7
# Parent  c44171d372a101a097b20163b62cb7531dc93cd8
more Haskell tests on macOS;

diff -r c44171d372a1 -r b78158997a28 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 14:22:37 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Oct 15 14:59:19 2023 +0200
@@ -331,11 +331,13 @@
       List(
         Remote_Build("macOS 14 Sonoma (ARM)", "studio1-sonoma",
           options = "-m32 -B -M1x4,2x4,4x2,8 -p pide_session=false" +
+            " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'"),
         Remote_Build("macOS 14 Sonoma (Intel)", "mini2-sonoma",
           options = "-m32 -B -M1x2,2,4 -p pide_session=false" +
+            " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_MLTON=/usr/local/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SMLNJ=/usr/local/smlnj/bin/sml" +
             " -e ISABELLE_SWIPL=/usr/local/bin/swipl",
@@ -353,6 +355,7 @@
         Remote_Build("macOS 13 Ventura (ARM)", "mini3",
           history_base = "8e590adaac5e",
           options = "-a -m32 -B -M1x4,2x2,4 -p pide_session=false" +
+            " -e ISABELLE_GHC_SETUP=true" +
             " -e ISABELLE_MLTON=/opt/homebrew/bin/mlton -e ISABELLE_MLTON_OPTIONS=" +
             " -e ISABELLE_SWIPL=/opt/homebrew/bin/swipl",
           args = "-a -d '~~/src/Benchmarks'")),