From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: gnatmake problem
Date: Sun, 2 May 2010 11:56:25 +0200
Date: 2010-05-02T11:56:24+02:00 [thread overview]
Message-ID: <1a8aeawx1w2tg$.gcqppkmebsm8$.dlg@40tude.net> (raw)
In-Reply-To: 87mxwje60j.fsf@ludovic-brenta.org
On Sat, 01 May 2010 22:11:56 +0200, Ludovic Brenta wrote:
> Dmitry A. Kazakov writes on comp.lang.ada:
>> OK, I have installed Debian and reproduced the problem:
>
> Out of curiosity, did you find the installation difficult or easy?
>
> [...]
>> gcc version 4.3.2 (Debian 4.3.2-1.1)
>>
>> Platform:
>> ---------
>> Debian 5, x86
>
> What is x86? i386 and amd64 are quite different, so the generic "x86"
> is not helpful.
i386, however when GNAT crashes compiling *.abs files it does that
independently on the platform.
> [...]
>> I cannot submit it to bugzilla because I don't know how to post source
>> files. I tried to place them into the comment, but it was rejected by
>> the bugzilla.
>>
>> GNAT Pro 6.3.1. compiles it successfully.
>
> You can report the problem to the Debian bug tracking system;
I did.
> instructions at http://bugs.debian.org. You can attach source files in
> your email but it would help if you could isolate the trigger for the
> bug in a small test case (as opposed to thousands of lines for the
> complete closure of the file you were trying to compile).
Unfortunately it cannot be sufficiently reduced. I removed everything from
the package body, but it is still a lot of *.ads files. Presumably the
problem is with generics (the most frequent reason), but I cannot tell.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-05-02 9:56 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-22 10:47 gnatmake problem Dmitry A. Kazakov
2010-04-22 11:23 ` Georg Bauhaus
2010-04-22 11:34 ` Dmitry A. Kazakov
2010-04-22 16:14 ` Dmitry A. Kazakov
2010-04-22 20:01 ` Anh Vo
2010-04-22 20:42 ` Dmitry A. Kazakov
2010-04-23 10:30 ` Ludovic Brenta
2010-04-23 13:43 ` Dmitry A. Kazakov
2010-04-23 14:19 ` Fedora, Debian and other GNU/Linux distributions (was: gnatmake problem) Ludovic Brenta
2010-04-23 14:53 ` Fedora, Debian and other GNU/Linux distributions Dmitry A. Kazakov
2010-04-23 16:38 ` Warren
2010-04-23 18:06 ` Ludovic Brenta
2010-04-23 20:33 ` Warren
2010-05-01 18:55 ` gnatmake problem Dmitry A. Kazakov
2010-05-01 20:11 ` Ludovic Brenta
2010-05-02 9:56 ` Dmitry A. Kazakov [this message]
2010-05-01 22:26 ` Simon Wright
2010-05-02 9:56 ` Dmitry A. Kazakov
2010-05-02 11:42 ` Simon Wright
2010-05-02 12:59 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox