#451 closed defect (invalid)
Wrong names in installed gpr files
| Reported by: | Maxim Reznik | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | 18.0 |
| Component: | Matreshka | Version: | |
| Keywords: | gprinstall | Cc: |
Description
After fixing #449 we have wrong (incompatible at least) gpr files installed with gprinstall:
$PREFIX/share/gpr/matreshka_league.gpr
was
$PREFIX/lib/gnat/matreshka/league.gpr
Note:
See TracTickets
for help on using tickets.
This is annoyng, but new names follow gprinstall's conventions.