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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,163994d4f34e92d0 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Received: by 10.180.88.195 with SMTP id bi3mr1250132wib.3.1344270131359; Mon, 06 Aug 2012 09:22:11 -0700 (PDT) Received: by 10.68.223.73 with SMTP id qs9mr1166455pbc.7.1344263485884; Mon, 06 Aug 2012 07:31:25 -0700 (PDT) Path: q11ni73778679wiw.1!nntp.google.com!feed-C.news.volia.net!volia.net!news2.volia.net!feed-A.news.volia.net!h9no5578320pbv.0!news-out.google.com!p10ni16353756pbh.1!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!backlog1.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!news.swapon.de!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: how to tell gnatmake to send executables to a different directory when compiling multi source? Date: Thu, 02 Aug 2012 18:37:54 +0200 Organization: A noiseless patient Spider Message-ID: References: <214bbd15-f7cb-4710-a6a7-64f37923bf4e@googlegroups.com> <87wr1moexq.fsf@ludovic-brenta.org> <87sjcaoa08.fsf@ludovic-brenta.org> <50167d29$0$6570$9b4e6d93@newsspool4.arcor-online.net> <873947cbja.fsf@catnip.gol.com> Mime-Version: 1.0 Injection-Date: Thu, 2 Aug 2012 16:37:54 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="cde0054f05a4d4958ef5363f6c36ea72"; logging-data="27304"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/6ZivdmP5UUsXZHewNdlXi" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:14.0) Gecko/20120713 Thunderbird/14.0 In-Reply-To: Cancel-Lock: sha1:oIcEJWUWsU7nG6AXP2pnWSXzvNU= X-Enigmail-Version: 1.4.3 X-Original-Bytes: 2988 X-Received-Bytes: 3211 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: 2012-08-02T18:37:54+02:00 List-Id: Le 02/08/2012 17:08, Robert A Duff a �crit : > "J-P. Rosen" writes: > >> Well, apparently it assumes that #include is used for every needed >> library - and nothing /requires/ that in the C standard. An >> undisciplined programmer could copy lines instead of #including them, >> and then all tools will be fooled. > > I don't think that's a very strong criticism of C. Yeah, you're right > that it's not required to use #include properly, but every competent > C programmer does so. It's not like you can do it wrong by accident. > Compare to (say) array indexing, where it's easy to accidentally > go out of bounds. > > Of course I agree that a language with a proper module system is better. > > Patient: "Doctor, it hurts when I copy lines instead of #including them." > Doctor: "So don't do that." > Sure. As long as you are not in the safety critical area. Tell the certifier "nobody does that", and the certifier will respond: "prove it". -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr