Re: Yet another gnat bug

[Simon Wright <simon@pushface.org>]

George Shapovalov <gshapovalov@gmail.com> writes:

> On Friday, February 1, 2019 at 9:41:08 PM UTC+1, Simon Wright wrote:
>> but I get
>> 
>> $ gprbuild -p -P wann
>> wann.gpr:5:32: "../../libs/ada_common/src" is not a valid directory
>> gprbuild: "wann" processing failed
>
> Oops, that's a stale import of an extra lib I thought to use at one
> point but then rolled back. Apparently I forgot to remove the path,
> and I obviously still have that lib on my system, even if its not
> withed any more..
>
> Removed, you should be able to proceed now. Sorry about that.

OK, and all the compilers I have here fail in the same way:

FSF GCC 6, 7, 8, 9
GNAT 2016, 2017, 2018

For GCC 9, the relevant code in decl.c is

  /* If we get here, it means we have not yet done anything with this entity.
     If we are not defining it, it must be a type or an entity that is defined
     elsewhere or externally, otherwise we should have defined it already.  */
  gcc_assert (definition
	      || type_annotate_only
	      || is_type
	      || kind == E_Discriminant
	      || kind == E_Component
	      || kind == E_Label
	      || (kind == E_Constant && Present (Full_View (gnat_entity)))
	      || Is_Public (gnat_entity));

... and we are none the wiser.

I tried
  gprbuild -p -P wann.gpr -c -u -f wann-nets-vectors.adb
and it compiled OK except for loads of 'unimplemented' warnings.

Poking around at your main program, it seems that things go wrong at the
line

    package PNetV  is new PNet.vectors;

(i.e., I deleted stuff starting at the bottom, by the time I'd deleted
this line it compiled "OK".

> One other note: at first build the compiler may complain about missing
> obj/dbg dir. Please just run:
> mkdir -p obj/dbg 
> from the project dir (not src, one level above it).

'gprbuild -p' will create missing directories.

Or you could add

   for Create_Missing_Dirs use "true";

to your GPR (recent ones only).