# HG changeset patch
# User wenzelm
# Date 1517664732 -3600
# Node ID fc2b303070dafbc30eff4fec8a14d50dff4baad1
# Parent  52e6ffa61e9c7d900dd5101d004380056fd93c43
more external tools for AFP test;

diff -r 52e6ffa61e9c -r fc2b303070da src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Feb 03 13:54:04 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Feb 03 14:32:12 2018 +0100
@@ -250,7 +250,11 @@
       for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy7")) }
       yield {
         List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail,
-          options = "-m32 -M1x2 -t AFP -P" + n,
+          options = "-m32 -M1x2 -t AFP -P" + n +
+            " -e ISABELLE_GHC=ghc" +
+            " -e ISABELLE_MLTON=mlton" +
+            " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" +
+            " -e ISABELLE_SMLNJ=/home/smlnj/bin/sml",
           args = "-N -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))