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.107.173.35 with SMTP id w35mr623283ioe.8.1519374357000; Fri, 23 Feb 2018 00:25:57 -0800 (PST) X-Received: by 10.157.3.237 with SMTP id f100mr39370otf.6.1519374356647; Fri, 23 Feb 2018 00:25:56 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o66no666191ita.0!news-out.google.com!10ni875ite.0!nntp.google.com!o66no666188ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 23 Feb 2018 00:25:56 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=176.130.29.212; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH NNTP-Posting-Host: 176.130.29.212 References: <789f6417-5e6f-4d5f-8abb-80246f4f405a@googlegroups.com> <5e5ce844-42a8-c2de-bf53-4acf67be7f53@bahnhof.se> <2bf467d9-dbc1-46e9-981f-a092f82e7271@googlegroups.com> <8be2e00e-3331-4e04-8a33-ebcfb6041249@googlegroups.com> <2c8cc683-abf7-43e5-8022-dc3a5e63d34c@googlegroups.com> <2dd55386-2d47-48ad-bce8-4e5717af142f@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <0d193911-cf4b-405d-86d8-d98a22ca203e@googlegroups.com> Subject: Re: GNAT user-specified (via Raise_Exception) warning message size limit From: briot.emmanuel@gmail.com Injection-Date: Fri, 23 Feb 2018 08:25:56 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Body-CRC: 1570949785 X-Received-Bytes: 2642 Xref: reader02.eternal-september.org comp.lang.ada:50584 Date: 2018-02-23T00:25:56-08:00 List-Id: > * Rebuild (with gnatmake) with the -a switch, which rebuilds the changed > runtime unit(s) and any units which depend on them. > > However, this cunning wheeze doesn't work with gprbuild. As I am sure Simon already knows, but might be useful for others (it doesn't solve the problem highlighted by Simon, though): You can actually use gprbuild to recompile locally the bodies of runtime files. You just have to put them in your source directories, and change the project file to make sure the file is compiled with -gnatg. I have done that quite often for System.Memory project Default is package Compiler is for Switches ("s-memory.adb") use ("-gnatg"); end Compiler; end Default; This trick however doesn't work for specs, since it doesn't recompile all runtime units that depend on them unless they are part of the project. You might get away with creating a "runtime.gpr" project that uses for source dirs the runtime location, and forces the -gnatg switch. Emmanuel