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: 103376,751d508677a5add1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news-2.dfn.de!news.dfn.de!news.uni-stuttgart.de!news.belwue.de!LF.net!news.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: Reporting bugs in GNAT Date: Thu, 26 Aug 2010 21:53:41 +0200 Message-ID: <877hjd40ca.fsf@mid.deneb.enyo.de> References: <8f469661-370c-4484-82d8-f1b365455e0f@w12g2000yqj.googlegroups.com> <98aa58b3-50fc-418d-9f72-524b5a23c89d@t10g2000yqg.googlegroups.com> <87hbilt6ua.fsf_-_@ludovic-brenta.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: idssi.enyo.de 1282852421 25334 172.17.135.6 (26 Aug 2010 19:53:41 GMT) X-Complaints-To: news@enyo.de Cancel-Lock: sha1:5juIR8ci5BPzT/HO3I7PrmxLBBo= Xref: g2news1.google.com comp.lang.ada:13760 Date: 2010-08-26T21:53:41+02:00 List-Id: * Simon Wright: > Warren writes: > >> turning *.ad[sb] into *.ada files etc > > At least once in the past (June 2009) I've had success sending a > reproducer in a ZIP file. > > And if you want to report a GPR-related problem you're going to have to > send the GPR! > > Can you remind me where the instruction to cat all the .ad? files so > they can be gnatchop'd comes from? Some wrote it down about eight years ago: It's still a reasonable requirement. It's really difficult to argue about compiler bugs when people only post the parts they think are relevant, or upload stuff with their own build system and expect that everybody understands that as well as they do.