Stream: general

Topic: Building miri from source dist

RalfJ (Dec 07 2018 at 13:00, on Zulip):

@Oli Re #56576: Even if building miri will work after this fix, testing miri will not. That's because testing miri requires a libstd with MIR.

However, given that we don't even require miri to build for a release, I am not sure if that is a problem.

Last update: Jan 22 2021 at 12:45UTC