equal
deleted
inserted
replaced
297 options = "-m64 -M4" + |
297 options = "-m64 -M4" + |
298 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" + |
298 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc" + |
299 " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" + |
299 " -e ISABELLE_GHC=/usr/local/ghc-8.0.2/bin/ghc" + |
300 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
300 " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml", |
301 args = "-a", |
301 args = "-a", |
302 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))), |
302 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))) |
303 ) ::: |
303 ) ::: |
304 { |
304 { |
305 for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) } |
305 for { (n, hosts) <- List(1 -> List("lxbroy6"), 2 -> List("lxbroy8", "lxbroy5")) } |
306 yield { |
306 yield { |
307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, |
307 List(Remote_Build("AFP", host = hosts.head, more_hosts = hosts.tail, |