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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,112ee4ae931079e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-07 13:42:47 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!wn14feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi_feed4!attbi.com!sccrnsc02.POSTED!not-for-mail Message-ID: <3F5B9834.307@attbi.com> From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Using GNU make with ObjectAda References: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit NNTP-Posting-Host: 24.34.139.183 X-Complaints-To: abuse@comcast.net X-Trace: sccrnsc02 1062967364 24.34.139.183 (Sun, 07 Sep 2003 20:42:44 GMT) NNTP-Posting-Date: Sun, 07 Sep 2003 20:42:44 GMT Organization: Comcast Online Date: Sun, 07 Sep 2003 20:42:44 GMT Xref: archiver1.google.com comp.lang.ada:42247 Date: 2003-09-07T20:42:44+00:00 List-Id: Ludovic Brenta wrote: > In Ada, you have the concept of a "library" of compilation units > (packages or subprograms that are "at library level"); the Ada > compiler is in charge of maintaining this library and making sure the > units it contains remain consistent with one another. It is this > "library" that lets the compiler keep track of where source files are. (If you are not a language lawyer, you can skip the rest of this post.) No, the Ada compiler is responsible for identifying a set of consistant library units that the unit being compiled depends on, and insuring that the closure of that set at run-time is consistant. It is perfectly legal for the library to contain mutually inconsistant library units and subunits. The usual effect of this rule is that at "link time" which is not an Ada term, the implementation recognizes inconsistancies and causes the necessary units to be recompiled. (With GNAT, this is the job of gnatmake, to find out what is inconsistant and call the compiler on those units in an order consistant with the language rules.) But as I said at the beginning, only language lawyers need think about the fact that a library unit, body, or subunit may be inconsistant with library units it does not depend on. (For example, during a series of compilations.) -- Robert I. Eachus "As far as I'm concerned, war always means failure." -- Jacques Chirac, President of France "As far as France is concerned, you're right." -- Rush Limbaugh