Re: [m-users.] Installing MMC over MMC
Julien Fischer <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
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. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users