Opened 4 years ago

Closed 4 years ago

Last modified 22 months ago

#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

Change History (2)

comment:1 by vadim.godunko, 4 years ago

Resolution: invalid
Status: newclosed

This is annoyng, but new names follow gprinstall's conventions.

comment:2 by vadim.godunko, 22 months ago

Milestone: 0.8.018.0

Milestone renamed

Note: See TracTickets for help on using tickets.