[m-rev.] for review: start using --generate-dependencies-ints

[Julien Fischer]

On Fri, 20 Oct 2023, Zoltan Somogyi wrote:

> For  review by anyone. The commit whose presence in the
> installed compiler this new diff tests for, has been in the last
> four rotds.

That's fine.

Julien.