[m-dev.] mercury-srcdist-rotd-2023-11-08 problem

[Julien Fischer]

On Fri, 10 Nov 2023, Zoltan Somogyi wrote:

>
> On 2023-11-10 22:42 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
>>  The only
>> explanation I can think of is that we build the source distribution
>> at -j8, which presumably includes the dependency step in the grade_lib
>> directory.  There are three targets in that directory; possibly there's
>> some conflict between them?
>
> There is a minor annoyance that may or may not be related.
> When I want to rebuild a workspace in a different grade,
> I usually do
>
> vim Mmake.params
> mmake realclean
> ./prepare.sh
> ./configure
> mmake
>
> Obviously, this should always work. But once in a blue moon, the last step
> will fail,with the symptom being a grade incompatibility in the grade_lib
> directory, indicating that "mmake realclean" didn't delete something
> it should have. However, doing "mmake realclean" in the grade_lib
> directory has always fixed that problem", which is strange, because
> the initial realclean in the top directory should have executed the
> same actions.
>
> Has anyone else encountered the same problem?

I haven't noticed such a problem.

The scripts that build the ROTDs do a "git clean -d -f -x" on the
workspace before its built; there shouldn't be any unversioned files
present and it shouldn't be affected what "mmake realclean" does
or doesn't do.

Julien.