Problems installing , --force

[simonjwright]

This is with v25.0.0.

The top-level manage.py doesn't support --force, and it should. Instead, I have to say

 gprinstall --prefix=$PREFIX --uninstall langkit_support || true

The contrib/{python,lkt)manage.py's do support --force, but ./manage.py install --help doesn't say so.

[pmderodat]

Hello,

This is indeed an oversight. We’ll add this option, thank you for letting us know!

[pmderodat]

Hello again,

We just merged support for --force: d07802d