Le 2024-12-09 14:32, Emmanuel Bourg a écrit :
I don't think we should try too hard to keep the bootstrapping logic
in the package, that'll most certainly be tedious to maintain over time.
Well that's indeed something to think about, and I am a bit worried
about that as well. With Gradle, the work necessary to maintain the
bootstrapping in working condition will have to be weighted against the
work necessary to patch and downgrade the build scripts to make them
work with a previous release, which may or may not be that easy
depending on feature gaps between Gradle releases.