From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,5cb528c57f45645e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-a.proxad.net!nnrp14-2.free.fr!not-for-mail
Date: Fri, 31 Jul 2009 12:04:44 +0200
From: Damien Carbonne <damien.carbonne@free.fr>
User-Agent: Thunderbird 2.0.0.22 (X11/20090605)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: gnatmake (GNAT GPL 2009): bug or feature?
References: <4a7217f6$0$25376$426a34cc@news.free.fr>
In-Reply-To: <4a7217f6$0$25376$426a34cc@news.free.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4a72c1bd$0$22504$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 31 Jul 2009 12:04:45 MEST
NNTP-Posting-Host: 82.247.219.63
X-Trace: 1249034685 news-4.free.fr 22504 82.247.219.63:58733
X-Complaints-To: abuse@proxad.net
Xref: g2news2.google.com comp.lang.ada:7478
Date: 2009-07-31T12:04:45+02:00
List-Id: <comp.lang.ada>

Damien Carbonne a �crit :
> Hi,
> 
> I have discovered a strange behaviour with GPS today. I think it is a 
> bug, but one never knows ...: an ALI file is removed in the lib 
> directory of a library project, and it shouldn't (IMO).
> 

Doing some more tests, I found the same behaviour with a package named 
abcde in glu project and packages named a, ab, abc and abcd in gl project.
If the target libs for both project are different, then everything works 
fine.
Names of libs or directories have no influence (I also renamed gl to 
dir1, glu to dir2, changed names of generated libraries, ...)
By changing settings in GPS (Build/Settings/Targets menu) in order to 
use gprbuild instead of builder (generic GNAT builder, which is set to 
gnatmake by default), everything works correctly.
I didn't find yet how default builder can be set.

Damien