<div dir="ltr">(FYI.  I just stumbled across the mozilla.dev.platform google-groups mailing list and this thread)<br><br>On Friday, 25 March 2016 04:13:17 UTC+11, atu...@mozilla.com  wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On Tuesday, March 22, 2016 at 4:25:35 PM UTC-7, <a>atu...@mozilla.com</a> wrote:
<br>> The Rust compiler has had over 300 snapshots, so re-bootstrapping from ocaml would take at least 900 compiles (each one requires three stages of internal builds); by my estimation, this would take at least a month of constant compilation. Moreover, it's not clear this is even possible: a few points along the early history involved manual edits as well.
<br>> 
<br>> I don't think this line of investigation is worth pursuing. I think the reasonable route is to:
<br>> 
<br>> - Get Rust snapshotting based on the previous stable compiler, for ease of following the release train. (I hope to have news on that front tomorrow.)
<br>> 
<br>> - Seed distros from a relatively recent point in the chain.
<br>
<br>An update on the snapshot front:
<br>
<br>The Rust core team met yesterday and developed a complete plan for Rust to be build with the previous stable compiler as snapshot. We will be landing the infrastructure needed to do this shortly. 
<br>
<br>In terms of release timing, it will take some time for this change to fully propagate. Our most recent Rust snapshot happened after the 1.8 beta, leading to the following picture:
<br>
<br>- Rust 1.8 -- already in beta; hits stable on Apr 14th
<br>- Ad hoc snapshot
<br>- Rust 1.9 -- builds from ad hoc snapshot
<br>- Rust 1.10 -- builds from Rust 1.9 stable
<br>
<br>The Rust 1.10 stable release will happen about 15 weeks from now, and under this plan will be the first release to bootstrap this way.
<br>
<br>In terms of bootstrapping the distros themselves, as I mentioned before the simplest approach seems to be starting with a recent Rust snapshot and going from there.
<br>
<br>How does all this sound?
<br>
<br>Aaron
<br></blockquote></div>