From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: gnatmake problem
Date: Thu, 22 Apr 2010 22:42:54 +0200
Date: 2010-04-22T22:42:51+02:00 [thread overview]
Message-ID: <w8n5uwfspais$.ko6jllnd5rj4$.dlg@40tude.net> (raw)
In-Reply-To: eecaae1c-cc65-46ee-8be3-43695da20f6e@x24g2000prc.googlegroups.com
On Thu, 22 Apr 2010 13:01:03 -0700 (PDT), Anh Vo wrote:
> On Apr 22, 9:14�am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> On Thu, 22 Apr 2010 12:47:18 +0200, Dmitry A. Kazakov wrote:
>>> Did anybody experienced weird problems with linux gnatmake (gcc-gnat
>>> version 4.4.3-4).
>>
>> Well, that is not the worst error there:
>>
>> +===========================GNAT BUG
>> DETECTED==============================+
>>| 4.4.3 20100127 (Red Hat 4.4.3-4) (i686-redhat-linux-gnu) Assert_Failure sinfo.adb:2515|
>>
>> Alas, GNAT 4.4.x looks unusable. I should wait for GNAT GPL 2010.
>
> Have you tried gnat-gcc-4.5.x?
I haven't. gcc-4.5 will appear first in Fedora 13.
> It does not take very long to build it.
Fedora team does this. Alas each time the gcc goes up to the next version,
something breaks in gnat. I doubt it were simple to fix by mere
recompilation. (I even tempted to install Debian on a VirtualBox and try
out gnat maintained by Ludovic...)
> I even built for Windows using MinGW.
GNAT GPL 2009 still works under Windows, but it ceased to do under Linux
when gcc-4.4.x arrived. There was something bad with many libraries, I had
no time to investigate.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-04-22 20:42 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 [this message]
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
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