117 List(Remote_Build("Linux A", "lxbroy9", |
117 List(Remote_Build("Linux A", "lxbroy9", |
118 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
118 options = "-m32 -B -M1x2,2", args = "-N -g timing")), |
119 List(Remote_Build("Linux B", "lxbroy10", |
119 List(Remote_Build("Linux B", "lxbroy10", |
120 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
120 options = "-m32 -B -M1x4,2,4,6", args = "-N -g timing")), |
121 List( |
121 List( |
122 Remote_Build("Mac OS X Mavericks", "macbroy2", options = "-m32 -M8", args = "-a", |
122 Remote_Build("Mac OS X 10.9 Mavericks", "macbroy2", options = "-m32 -M8", args = "-a", |
123 detect = Build_Log.Prop.build_tags + " IS NULL"), |
123 detect = Build_Log.Prop.build_tags + " IS NULL"), |
124 Remote_Build("Mac OS X Mavericks, quick_and_dirty", "macbroy2", |
124 Remote_Build("Mac OS X 10.9 Mavericks, quick_and_dirty", "macbroy2", |
125 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
125 options = "-m32 -M8 -t quick_and_dirty", args = "-a -o quick_and_dirty", |
126 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")), |
126 detect = Build_Log.Prop.build_tags + " = " + SQL.string("quick_and_dirty")), |
127 Remote_Build("Mac OS X Mavericks, skip_proofs", "macbroy2", |
127 Remote_Build("Mac OS X 10.9 Mavericks, skip_proofs", "macbroy2", |
128 options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs", |
128 options = "-m32 -M8 -t skip_proofs", args = "-a -o skip_proofs", |
129 detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"))), |
129 detect = Build_Log.Prop.build_tags + " = " + SQL.string("skip_proofs"))), |
130 List(Remote_Build("Mac OS X Yosemite", "macbroy30", options = "-m32 -M2", args = "-a")), |
130 List( |
131 List(Remote_Build("Mac OS X Sierra", "macbroy31", options = "-m32 -M2", args = "-a")), |
131 Remote_Build("Mac OS X 10.12 Sierra", "macbroy30", options = "-m32 -M2", args = "-a", |
|
132 detect = Build_Log.Prop.build_start + " > date '2017-03-03'")), |
|
133 List(Remote_Build("Mac OS X 10.10 Yosemite", "macbroy31", options = "-m32 -M2", args = "-a")), |
132 List( |
134 List( |
133 Remote_Build("Windows", "vmnipkow9", shared_home = false, |
135 Remote_Build("Windows", "vmnipkow9", shared_home = false, |
134 options = "-m32 -M4", args = "-a", |
136 options = "-m32 -M4", args = "-a", |
135 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
137 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86-windows")), |
136 Remote_Build("Windows", "vmnipkow9", shared_home = false, |
138 Remote_Build("Windows", "vmnipkow9", shared_home = false, |
137 options = "-m64 -M4", args = "-a", |
139 options = "-m64 -M4", args = "-a", |
138 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))) |
140 detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows")))) |
139 } |
141 } |
|
142 |
|
143 private val remote_builds_old: List[Remote_Build] = |
|
144 List( |
|
145 Remote_Build("Mac OS X 10.8 Mountain Lion", "macbroy30", options = "-m32 -M2", args = "-a", |
|
146 detect = Build_Log.Prop.build_start + " < date '2017-03-03'")) |
140 |
147 |
141 private def remote_build_history(rev: String, r: Remote_Build): Logger_Task = |
148 private def remote_build_history(rev: String, r: Remote_Build): Logger_Task = |
142 { |
149 { |
143 val task_name = "build_history-" + r.host |
150 val task_name = "build_history-" + r.host |
144 Logger_Task(task_name, logger => |
151 Logger_Task(task_name, logger => |