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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a02:8cc3:: with SMTP id n3mr5420516jal.22.1550450672668;
        Sun, 17 Feb 2019 16:44:32 -0800 (PST)
X-Received: by 2002:aca:cf4f:: with SMTP id f76mr188039oig.7.1550450672554;
 Sun, 17 Feb 2019 16:44:32 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!y42no341094ita.0!news-out.google.com!v188ni735itb.0!nntp.google.com!y22no374558ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 17 Feb 2019 16:44:32 -0800 (PST)
In-Reply-To: <5a91d788-be3a-4446-96b9-3db2b4909298@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=70.109.61.2;
 posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf
NNTP-Posting-Host: 70.109.61.2
References: <df498564-5afe-465f-baea-31cf676be099@googlegroups.com>
 <947d15f3-4dd9-422b-bfad-20d1dad57e14@googlegroups.com>
 <ly7edzpr3o.fsf@pushface.org>
 <5a91d788-be3a-4446-96b9-3db2b4909298@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9e11d9e9-2599-4799-8134-95034e170040@googlegroups.com>
Subject: Re: Make with Ada 2019 : DogRobot
From: Jere <jhb.chat@gmail.com>
Injection-Date: Mon, 18 Feb 2019 00:44:32 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:55556
Date: 2019-02-17T16:44:32-08:00
List-Id: <comp.lang.ada>

On Sunday, February 17, 2019 at 5:23:21 PM UTC-5, Rego, P. wrote:
> > And current gprbuild has
> > 
> >    for Create_Missing_Dirs use "true";
> 
> It's quite convenient, but the current GNAT from Raspbian apt-get still does not support.

Another option I use is to create the directories in my git repo and place a 
.gitignore file in them that essentially says "ignore everything else in
this directory but me".  This forces git to save the directories and keeps it
from trying to add my build files and binaries to my repo.  The file has the
contents:

*
*/
!.gitignore