[m-users.] Installing MMC over MMC

[Julien Fischer]

On Sat, 12 Nov 2022, fabrice nicol wrote:

> Yes it works, this is the algo used by the everyday Docker build released on 
> Github.
>
> It contains two builds: one fresh ROTD as a bootrap and a repo version built 
> at HEAD with the bootstrap ROTD build.
>
> https://github.com/fabnicol/gentoo4mercury/releases
>
> (note: there are Ubuntu and Alpine releases too, but these have had 
> distribution-related issues for a few days. Nothing related with Mercury 
> source code).

That seems problematic in the case where we delete or rename a standard
library module between the ROTD and the repo head; you may end up with
interface files hanging about for a library module that no longer
exists.

(Voker's use case is fine since he is just reinstalling the same version
and will necessarily have the same set of library modules.)

Julien.