<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_default" style="font-family:tahoma,sans-serif">
<span></span>
Upgrade your bootstrap compiler to >= 9.4. We have now bumped HEAD's<br>
version to 9.8, which means that 9.4 is the earliest possible bootstrap<br>
compiler (which `text` now takes advantage of, as you see here). I have

</div></blockquote><div><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Aha.  I'll do that.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">You have to admit, the error message is not helpful :-).  A suggestion for the future: when bumping the minimum bootstrap compiler, it would be possible (in the same commit) to fix configure to complain about too-early versions?</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Anyway I'm now building with 9.6, and doubtless that will be fine.  Thanks.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">Simon</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default"></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 9 Jul 2023 at 18:49, Ben Gamari <<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> writes:<br>
<br>
> in a clean HEAD build, including "git submodule update", I get this.<br>
><br>
> Can anyone help?<br>
><br>
Upgrade your bootstrap compiler to >= 9.4. We have now bumped HEAD's<br>
version to 9.8, which means that 9.4 is the earliest possible bootstrap<br>
compiler (which `text` now takes advantage of, as you see here). I have<br>
a patch bumping the `configure` check stewing in my 9.8 preparation<br>
branch.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div>