gnatmake problem

gnatmake problem

[Dmitry A. Kazakov]

Did anybody experienced weird problems with linux gnatmake (gcc-gnat
version 4.4.3-4). The problem manifests itself when dealing with a cifs
volume (mounted share). gnatmake sees no files there. When I type

$ gnatmake x.adb

I get:

gnatmake: "x.adb" not found

$ gcc -c x.adb

works. The gnatmake from GNAT GPL 2009 sees files as well.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: gnatmake problem

[Georg Bauhaus]

On 22.04.10 12:47, Dmitry A. Kazakov wrote:
> Did anybody experienced weird problems with linux gnatmake (gcc-gnat
> version 4.4.3-4). The problem manifests itself when dealing with a cifs
> volume (mounted share). gnatmake sees no files there. When I type
> 
> $ gnatmake x.adb
> 
> I get:
> 
> gnatmake: "x.adb" not found
> 
> $ gcc -c x.adb
> 
> works. The gnatmake from GNAT GPL 2009 sees files as well.
> 

Running on Debian,

$ gnatmake kannweg.adb
gcc-4.3 -c kannweg.adb
kannweg.adb:1:01: compilation unit expected
gnatmake: "kannweg.adb" compilation error

$ mount |grep cifs
//sambal/datente on /mnt type cifs (rw,mand)

$ pwd
/mnt/home/bauhaus/News

$ lsb_release --all
LSB Version:
core-2.0-ia32:core-2.0-noarch:core-3.0-ia32:core-3.0-noarch:core-3.1-ia32:core-3.1-noarch:core-3.2-ia32:core-3.2-noarch
Distributor ID:	Debian
Description:	Debian GNU/Linux 5.0.4 (lenny)
Release:	5.0.4
Codename:	lenny

$ gnatmake -gnatc -v kannweg.adb

GNATMAKE  4.3.2
Copyright (C) 1995-2007, Free Software Foundation, Inc.
  "kannweg.ali" being checked ...
  -> "kannweg.ali" missing.
gcc-4.3 -c -gnatc kannweg.adb
kannweg.adb:1:01: compilation unit expected
End of compilation

Re: gnatmake problem

[Dmitry A. Kazakov]

On Thu, 22 Apr 2010 13:23:15 +0200, Georg Bauhaus wrote:

> On 22.04.10 12:47, Dmitry A. Kazakov wrote:
>> Did anybody experienced weird problems with linux gnatmake (gcc-gnat
>> version 4.4.3-4). The problem manifests itself when dealing with a cifs
>> volume (mounted share). gnatmake sees no files there. When I type
>> 
>> $ gnatmake x.adb
>> 
>> I get:
>> 
>> gnatmake: "x.adb" not found
>> 
>> $ gcc -c x.adb
>> 
>> works. The gnatmake from GNAT GPL 2009 sees files as well.
> 
> Running on Debian,
> 
> $ gnatmake kannweg.adb
> gcc-4.3 -c kannweg.adb
> kannweg.adb:1:01: compilation unit expected
> gnatmake: "kannweg.adb" compilation error
> 
> $ mount |grep cifs
> //sambal/datente on /mnt type cifs (rw,mand)
> 
> $ pwd
> /mnt/home/bauhaus/News
> 
> $ lsb_release --all
> LSB Version:
> core-2.0-ia32:core-2.0-noarch:core-3.0-ia32:core-3.0-noarch:core-3.1-ia32:core-3.1-noarch:core-3.2-ia32:core-3.2-noarch
> Distributor ID:	Debian
> Description:	Debian GNU/Linux 5.0.4 (lenny)
> Release:	5.0.4
> Codename:	lenny
> 
> $ gnatmake -gnatc -v kannweg.adb
> 
> GNATMAKE  4.3.2
> Copyright (C) 1995-2007, Free Software Foundation, Inc.
>   "kannweg.ali" being checked ...
>   -> "kannweg.ali" missing.
> gcc-4.3 -c -gnatc kannweg.adb
> kannweg.adb:1:01: compilation unit expected
> End of compilation

But you have gcc/gnat 4.3.x, that worked to me too. GNAT GPL 2009 is 4.3.x.

The bug seem to be introduced with gcc 4.4.x. I discovered it when I
upgraded Fedora to core 12.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: gnatmake problem

[Dmitry A. Kazakov]

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.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: gnatmake problem

[Anh Vo]

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? It does not take very long to build it.
I even built for Windows using MinGW.

Re: gnatmake problem

[Dmitry A. Kazakov]

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

Re: gnatmake problem

[Ludovic Brenta]

Dmitry A. Kazakov wrote on comp.lang.ada:
> Fedora team does this [building gnat on Fedora].
> 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...)

You remind me that I moved from Red Hat 8 to Debian 3.0 "Woody" back
in 2001 precisely because I got frustrated at bugs and their dropping
support for Ada between 7.3 and 8. At the time, Samuel Tardieu was the
maintainer and I still thank him for his excellent work.

Since you do not provide any sources, I cannot even try to reproduce
your problem on Debian. I also do not see any bug report in upstream's
bugzilla database. Maybe you reported the problem to Fedora?

--
Ludovic Brenta.

Re: gnatmake problem

[Dmitry A. Kazakov]

On Fri, 23 Apr 2010 03:30:31 -0700 (PDT), Ludovic Brenta wrote:

> Dmitry A. Kazakov wrote on comp.lang.ada:
>> Fedora team does this [building gnat on Fedora].
>> 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...)
> 
> You remind me that I moved from Red Hat 8 to Debian 3.0 "Woody" back
> in 2001 precisely because I got frustrated at bugs and their dropping
> support for Ada between 7.3 and 8. At the time, Samuel Tardieu was the
> maintainer and I still thank him for his excellent work.

The worst thing of Fedora is these idiotic major core versions, which
cannot be upgraded to. You can upgrade the kernel, but cannot the
distribution. It is pathetic. I tried it each time and each time was forced
to reinstall it completely. Are all Linux distributions like that?

> Since you do not provide any sources, I cannot even try to reproduce
> your problem on Debian. I also do not see any bug report in upstream's
> bugzilla database. Maybe you reported the problem to Fedora?

No. This is why I asked if somebody had similar problems. GNAT Pro 6.3.1
does not have these problems. (Normally I report to AdaCore. Most of the
problems were/are related to generics and, recently, to the interfaces.)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Fedora, Debian and other GNU/Linux distributions (was: gnatmake problem)

[Ludovic Brenta]

Dmitry A. Kazakov  wrote on comp.lang.ada:
> On Fri, 23 Apr 2010 03:30:31 -0700 (PDT), Ludovic Brenta wrote:
> > Dmitry A. Kazakov wrote on comp.lang.ada:
> >> Fedora team does this [building gnat on Fedora].
> >> 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...)
>
>> You remind me that I moved from Red Hat 8 to Debian 3.0 "Woody" back
>> in 2001 precisely because I got frustrated at bugs and their dropping
>> support for Ada between 7.3 and 8. At the time, Samuel Tardieu was the
>> maintainer and I still thank him for his excellent work.
>
> The worst thing of Fedora is these idiotic major core versions, which
> cannot be upgraded to. You can upgrade the kernel, but cannot the
> distribution. It is pathetic. I tried it each time and each time was forced
> to reinstall it completely. Are all Linux distributions like that?

Luckily, no!

Debian's philosophy is "install once, upgrade many" and indeed, I only
install once per machine. I've had my current laptop since November
2006, when I installed Debian on it, and it have upgraded it
constantly ever since. I normally upgrade every week or so, tracking
the "testing" distribution. I have also successfully upgraded servers
from one stable release to the next several times.

--
Ludovic Brenta.

Re: Fedora, Debian and other GNU/Linux distributions

[Dmitry A. Kazakov]

On Fri, 23 Apr 2010 07:19:22 -0700 (PDT), Ludovic Brenta wrote:

> Debian's philosophy is "install once, upgrade many" and indeed, I only
> install once per machine. I've had my current laptop since November
> 2006, when I installed Debian on it, and it have upgraded it
> constantly ever since. I normally upgrade every week or so, tracking
> the "testing" distribution. I have also successfully upgraded servers
> from one stable release to the next several times.

Sounds promising. Upgrading to Fedora Core 13 dismays me. And Debian seems
to be the best maintained Ada Linux distribution.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: Fedora, Debian and other GNU/Linux distributions

[Warren]

Dmitry A. Kazakov expounded in
news:7dselbfeaujk$.1l2cgo8q8xkvf$.dlg@40tude.net: 

> On Fri, 23 Apr 2010 07:19:22 -0700 (PDT), Ludovic Brenta wrote:
> 
>> Debian's philosophy is "install once, upgrade many" and indeed, I
>> only install once per machine. I've had my current laptop since
>> November 2006, when I installed Debian on it, and it have upgraded it
>> constantly ever since. I normally upgrade every week or so, tracking
>> the "testing" distribution. I have also successfully upgraded servers
>> from one stable release to the next several times.
> 
> Sounds promising. Upgrading to Fedora Core 13 dismays me. And Debian
> seems to be the best maintained Ada Linux distribution.

That's good to hear. I am a Debian fan as well. I even have
it running on an old Dec Alpha machine, which I should boot
up again and update. ;-)

Warren

Re: Fedora, Debian and other GNU/Linux distributions

[Ludovic Brenta]

Warren <ve3wwg@gmail.com> writes:
> Dmitry A. Kazakov expounded in
> news:7dselbfeaujk$.1l2cgo8q8xkvf$.dlg@40tude.net: 
>
>> On Fri, 23 Apr 2010 07:19:22 -0700 (PDT), Ludovic Brenta wrote:
>> 
>>> Debian's philosophy is "install once, upgrade many" and indeed, I
>>> only install once per machine. I've had my current laptop since
>>> November 2006, when I installed Debian on it, and it have upgraded it
>>> constantly ever since. I normally upgrade every week or so, tracking
>>> the "testing" distribution. I have also successfully upgraded servers
>>> from one stable release to the next several times.
>> 
>> Sounds promising. Upgrading to Fedora Core 13 dismays me. And Debian
>> seems to be the best maintained Ada Linux distribution.
>
> That's good to hear. I am a Debian fan as well. I even have
> it running on an old Dec Alpha machine, which I should boot
> up again and update. ;-)

Unfortunately, you are out of luck; there is a regression in GCC 4.4 on
alpha which caused us to drop support for that architecture from all Ada
packages in Squeeze.  You'll have to stay with Debian 5.0 "Lenny", or
perhaps upgrade to it.

http://gcc.gnu.org/PR42073

-- 
Ludovic Brenta.

Re: Fedora, Debian and other GNU/Linux distributions

[Warren]

Ludovic Brenta expounded in news:87633i2gdt.fsf@ludovic-brenta.org:

> Warren <ve3wwg@gmail.com> writes:
>> Dmitry A. Kazakov expounded in
>> news:7dselbfeaujk$.1l2cgo8q8xkvf$.dlg@40tude.net: 
>>
>>> On Fri, 23 Apr 2010 07:19:22 -0700 (PDT), Ludovic Brenta wrote:
>>> 
>>>> Debian's philosophy is "install once, upgrade many" and indeed, I
>>>> only install once per machine. I've had my current laptop since
>>>> November 2006, when I installed Debian on it, and it have upgraded 
it
>>>> constantly ever since. I normally upgrade every week or so, tracking
>>>> the "testing" distribution. I have also successfully upgraded 
servers
>>>> from one stable release to the next several times.
>>> 
>>> Sounds promising. Upgrading to Fedora Core 13 dismays me. And Debian
>>> seems to be the best maintained Ada Linux distribution.
>>
>> That's good to hear. I am a Debian fan as well. I even have
>> it running on an old Dec Alpha machine, which I should boot
>> up again and update. ;-)
> 
> Unfortunately, you are out of luck; there is a regression in GCC 4.4 on
> alpha which caused us to drop support for that architecture from all 
Ada
> packages in Squeeze.  You'll have to stay with Debian 5.0 "Lenny", or
> perhaps upgrade to it.
> 
> http://gcc.gnu.org/PR42073

I'll make a note, thanks.

Warren

Re: gnatmake problem

[Dmitry A. Kazakov]

On Fri, 23 Apr 2010 03:30:31 -0700 (PDT), Ludovic Brenta wrote:

> Since you do not provide any sources, I cannot even try to reproduce
> your problem on Debian. I also do not see any bug report in upstream's
> bugzilla database. Maybe you reported the problem to Fedora?

OK, I have installed Debian and reproduced the problem:

Compiler:
---------
Target: i486-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.3.2-1.1'
--with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/include/c++/4.3 --program-suffix=-4.3
--enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc
--enable-mpfr --enable-targets=all --enable-cld --enable-checking=release
--build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu
Thread model: posix
gcc version 4.3.2 (Debian 4.3.2-1.1) 

Platform:
---------
Debian 5, x86

Reproduction:
-------------
> gcc-4.3 -c -gnat05 gtk-fuzzy_feature-selection.adb

Effect:
-------
+===========================GNAT BUG
DETECTED==============================+
| 4.3.2 (i486-pc-linux-gnu) Assert_Failure sinfo.adb:2484                  |
| Error detected at gtk-generic_fuzzy_linguistic_set_measure_tree_view.ads:84:4|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc-4.3 or gnatmake command that you entered.          |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

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.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: gnatmake problem

[Ludovic Brenta]

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.

[...]
> 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;
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).

-- 
Ludovic Brenta.

Re: gnatmake problem

[Dmitry A. Kazakov]

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

Re: gnatmake problem

[Simon Wright]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> 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.

If you look at eg http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
you'll see about 12 lines after the heading a table with a greyed header
row 'Attachment' and, in that case, the second row contains a link
'Create a New Attachment'.

Re: gnatmake problem

[Dmitry A. Kazakov]

On Sat, 01 May 2010 23:26:03 +0100, Simon Wright wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> 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.
> 
> If you look at eg http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
> you'll see about 12 lines after the heading a table with a greyed header
> row 'Attachment' and, in that case, the second row contains a link
> 'Create a New Attachment'.

But there is no such button here:

http://gcc.gnu.org/bugzilla/enter_bug.cgi?product=gcc

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: gnatmake problem

[Simon Wright]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Sat, 01 May 2010 23:26:03 +0100, Simon Wright wrote:
>
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> 
>>> 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.
>> 
>> If you look at eg http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42978
>> you'll see about 12 lines after the heading a table with a greyed header
>> row 'Attachment' and, in that case, the second row contains a link
>> 'Create a New Attachment'.
>
> But there is no such button here:
>
> http://gcc.gnu.org/bugzilla/enter_bug.cgi?product=gcc

No, I think you have to create the PR first, then add the upload to it.

I wouldn't want anyone to think I'm a Bugzilla fan; in particular, the
search facilities rarely find anything for me.

Re: gnatmake problem

[Dmitry A. Kazakov]

On Sun, 02 May 2010 12:42:05 +0100, Simon Wright wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> But there is no such button here:
>>
>> http://gcc.gnu.org/bugzilla/enter_bug.cgi?product=gcc
> 
> No, I think you have to create the PR first, then add the upload to it.

I have reported it to Debian as Ludovic suggested.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de