209 List(Remote_Build("Linux A", "lxbroy9", |
209 List(Remote_Build("Linux A", "lxbroy9", |
210 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
210 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
211 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
211 List(Remote_Build("Linux B", "lxbroy10", historic = true, history = 90, |
212 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
212 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
213 List( |
213 List( |
214 Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", |
214 Remote_Build("Mac OS X", "macbroy2", |
215 options = "-m32 -M8" + |
215 options = "-m32 -M8" + |
216 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
216 " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" + |
217 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml", |
217 " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml", |
218 args = "-a", |
218 args = "-a", |
219 detect = Build_Log.Prop.build_tags.undefined, |
219 detect = Build_Log.Prop.build_tags.undefined, |
220 history_base = "2c0f24e927dd"), |
220 history_base = "2c0f24e927dd"), |
221 Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2", |
221 Remote_Build("Mac OS X, quick_and_dirty", "macbroy2", |
222 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
222 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
223 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"), |
223 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty"), |
224 history_base = "2c0f24e927dd"), |
224 history_base = "2c0f24e927dd"), |
225 Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2", |
225 Remote_Build("Mac OS X, skip_proofs", "macbroy2", |
226 options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs", |
226 options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs", |
227 detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"), |
227 detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"), |
228 history_base = "2c0f24e927dd")), |
228 history_base = "2c0f24e927dd")), |
229 List( |
229 List( |
230 Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a", |
230 Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a", |