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 10.66.187.8 with SMTP id fo8mr9305769pac.32.1408101732889; Fri, 15 Aug 2014 04:22:12 -0700 (PDT) X-Received: by 10.140.19.213 with SMTP id 79mr286631qgh.5.1408101732830; Fri, 15 Aug 2014 04:22:12 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!uq10no102089igb.0!news-out.google.com!j6ni192qas.0!nntp.google.com!i13no51971qae.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 15 Aug 2014 04:22:12 -0700 (PDT) In-Reply-To: <6760d270-94c1-499d-aaf2-92e6e8ce85a9@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=57.79.21.1; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 57.79.21.1 References: <6760d270-94c1-499d-aaf2-92e6e8ce85a9@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9610f0cf-4918-40ce-885a-a44ec72ac3e0@googlegroups.com> Subject: Re: Q: GNAT GPL 2014, configuration pragma, unneeded recompilation From: gautier_niouzes@hotmail.com Injection-Date: Fri, 15 Aug 2014 11:22:12 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:21779 Date: 2014-08-15T04:22:12-07:00 List-Id: Could make a reproducer: new file: p.adb: procedure P is begin null; end; new file: d.pra: pragma Initialize_Scalars; new directory: ./obj cd obj gnatmake -gnatec../d.pra ../p.adb gnatmake -gnatec../d.pra ../p.adb Variant with a project file p.gpr: project P is for Main use ("p.adb"); for Object_Dir use "obj"; package Compiler is for Default_Switches ("ada") use ("-gnatec../d.pra"); end Compiler; end P; gnatmake -P p gnatmake -P p >From the .ali file it appears that configuration pragma files are now being tracked for changes (a good thing) but obviously not properly... G.