184 List(Remote_Build("Linux A", "lxbroy9", |
184 List(Remote_Build("Linux A", "lxbroy9", |
185 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
185 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
186 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
186 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
187 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
187 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
188 List( |
188 List( |
189 Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", options = "-m32 -M8", args = "-a", |
189 Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", |
|
190 options = "-m32 -M8 -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml", |
|
191 args = "-a", |
190 detect = Build_Log.Prop.build_tags + " IS NULL"), |
192 detect = Build_Log.Prop.build_tags + " IS NULL"), |
191 Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2", |
193 Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2", |
192 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
194 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
193 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")), |
195 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")), |
194 Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2", |
196 Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2", |
198 Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a", |
200 Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a", |
199 detect = Build_Log.Prop.build_start + " > date '2017-03-03'")), |
201 detect = Build_Log.Prop.build_start + " > date '2017-03-03'")), |
200 List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")), |
202 List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")), |
201 List( |
203 List( |
202 Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false, |
204 Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false, |
203 options = "-m32 -M4", args = "-a", |
205 options = "-m32 -M4 -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc", |
|
206 args = "-a", |
204 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
207 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
205 Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false, |
208 Remote_Build("Windows", "vmnipkow9", history = 90, shared_home = false, |
206 options = "-m64 -M4", args = "-a", |
209 options = "-m64 -M4 -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc", |
|
210 args = "-a", |
207 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))) |
211 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))) |
208 } |
212 } |
209 |
213 |
210 private def remote_build_history(arg: (String, Int), r: Remote_Build): Logger_Task = |
214 private def remote_build_history(arg: (String, Int), r: Remote_Build): Logger_Task = |
211 { |
215 { |