Ensure dependencies are computed after files have been generated. That should fix the build failure of the nightly bench.
Ensure dependencies are computed after files have been generated.
That should fix the build failure of the nightly bench.

jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3