Re: Update some sim copyright headers to GPLv3-or-later

[Joel Brobecker <brobecker@adacore.com>]

Just to clarify - the purpose of my messages are to raise
the question of whether there might be something missing
in our tree.

> do you have pkg.m4 available ?  i don't know what distro you're using,
> but perhaps it splits it up into multiple packages so that you can
> have `pkg- config` but not pkg.m4.

I indeed have a file called pkg.m4 available in my system.
However, I did not use the system aclocal, since the one
that comes with my system has the wrong version. If I use
the system aclocal, then I indeed get a complete aclocal.m4
being generated, with the only differences being in the header
due to the difference in version.

I think this is somewhat of an issue that the output would
depend on what is or isn't installed together with aclocal,
and that aclocal would generate an incomplete output without
indicating any kind of failure. But I understand that, in
the grand scheme of things, there are more critical issues
to work on, and that this might not be our doing...

-- 
Joel