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-Thread: a07f3367d7,170b136bef612224 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 X-Received: by 10.180.198.179 with SMTP id jd19mr6849386wic.5.1367329469364; Tue, 30 Apr 2013 06:44:29 -0700 (PDT) Path: p18ni49013wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!94.232.116.13.MISMATCH!feed.xsnews.nl!border-3.ams.xsnews.nl!plix.pl!newsfeed2.plix.pl!news.icm.edu.pl!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: Pascal Obry Newsgroups: comp.lang.ada Subject: Re: Specifying a target in a GPRBuild project file? Date: Thu, 25 Apr 2013 18:57:10 +0200 Organization: Aioe.org NNTP Server Message-ID: <51796066.5060906@obry.net> References: <8f5e2358-05ab-4b0f-82be-b2f2d7438765@googlegroups.com> NNTP-Posting-Host: KMOsx35cI/C1UVZUrQuUkg.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; fr-FR; rv:1.8.1.22) Gecko/20090605 Thunderbird/2.0.0.22 Mnenhy/0.7.5.0 X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Date: 2013-04-25T18:57:10+02:00 List-Id: Le 25/04/2013 11:01, Yannick DuchĂȘne (Hibou57) a Ă©crit : > The `--target` option should only be used with explicit invocations of > GPRConfig, not with GPRBuild. I fully disagree. I'm building many cross tools and always using gprbuild --target=xyz. This is the way it should work, and if not probably a bug to report. -- Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://v2p.fr.eu.org http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B