Re: Corrected version Re: pragma License ?

[Dirk Heinrichs <dirk.heinrichs.ext@nsn.com>]

anon wrote:

> In <1182160706.208857@xnews001>, Dirk Heinrichs
> <dirk.heinrichs.ext@nsn.com> writes:
>>anon wrote:
>>
>>> Linux Modules uses : MODULE_LICENSE("GPL");
>>> alone with some files having the spelled out comment lines too.
>>
>>That's a different beast. This is used to enforce GPL lincensed kernel
>>modules. It results in a _runtime_ check. When a module with a
>>non-compatible license is loaded, it will taint the kernel and you will
>>not get any support from kernel hackers in case of problems.
>>
> That's why the OSI/FSF requested the NYU group the creators of the
> GNU/AdaCore Ada to add the "pragma License" statement with its
> option of "( GPL )".  But NYU or Adacore never complete the link to
> the _runtine_ checker. which is what I stated in my second reply about
> this.  First reply, showed source code that tested the "pragma License"
> on the GNAT compiler.

You're comparing apples and oranges. Ada Compiler vs. Linux Kernel. Compile
time check vs. run time check, both with different purposes in mind.

>      Y O U   N E E D  T O   R E A D  ! ! !
>      B E F O R E  A N S W E R I N G  ! ! !

And you don't need to shout at me.

> And for the rest ask a LAYWER. I have testing what I say in court and
> I won, The case was based on GPL version 1 to Version 2 policy.

You never talked about version 1 before. What's that now?

> E N O U G H   S A I D   A B O U T   T H I S ! ! !
> S I N C E   T H I S   G R O U P   I S   A B O U T   A D A
> N O T  G P L   O R   O S I / F S F  O R   E V E N   L I N U X  ! ! !

Again, please don't shout. And remember who brought this Linus/Linux/GPLv3
thing into the thread.

Bye...

        Dirk
-- 
Dirk Heinrichs          | Tel:  +49 (0)162 234 3408
Configuration Manager   | Fax:  +49 (0)211 47068 111
Capgemini Deutschland   | Mail: dirk.heinrichs@capgemini.com
Wanheimerstraße 68      | Web:  http://www.capgemini.com
D-40468 Düsseldorf      | ICQ#: 110037733
GPG Public Key C2E467BB | Keyserver: www.keyserver.net