Opened 5 years ago

Closed 4 years ago

Last modified 22 months ago

#449 closed defect (fixed)

make install fails with current GnatPRO

Reported by: Maxim Reznik Owned by:
Priority: major Milestone: 18.0
Component: Matreshka Version: 0.7.0
Keywords: Cc:

Description

cat league-src.lst | tr '\\' '/' | xargs -I sources /usr/bin/install -c -m 644 sources /home/max/net/adalib.20151126//include/matreshka/league
/usr/bin/install: не удалось выполнить stat для «league.ads»: Нет такого файла или каталога

head league-src.lst

   /home/max/net/matreshka/gnat/matreshka_league__release.adc
   league.ads
   league-application.adb
   league-application.ads

It seems new gnatls returns no directory information for source files.

Change History (4)

comment:1 by vadim.godunko, 4 years ago

In 5535:

Add support for GPRbuild from GPL 2016.

Refs #449.

comment:2 by vadim.godunko, 4 years ago

Component: Matreshka - LeagueMatreshka
Resolution: fixed
Status: newclosed

comment:3 by vadim.godunko, 4 years ago

In 5536:

Add support for GPRbuild from GPL 2016.

Refs #449.

comment:4 by vadim.godunko, 22 months ago

Milestone: 0.8.018.0

Milestone renamed

Note: See TracTickets for help on using tickets.