From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,71b4c0131a8a22a4 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!feeder.news-service.com!216.196.110.148.MISMATCH!border1.nntp.ams.giganews.com!nntp.giganews.com!feeder2.news.saunalahti.fi!feeder1.news.saunalahti.fi!nntp.inet.fi!central1.inet.fi!inet.fi!read3.inet.fi.POSTED!53ab2750!not-for-mail From: Dirk Heinrichs Subject: Re: Corrected version Re: pragma License ? Newsgroups: comp.lang.ada References: <1182160706.208857@xnews001> User-Agent: KNode/0.10.5 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8Bit Message-ID: <1182342517.526228@xnews001> Cache-Post-Path: xnews001!unknown@duprn003-102193.europe.nokia.com X-Cache: nntpcache 3.0.2 (see http://www.nntpcache.com/) Date: Wed, 20 Jun 2007 12:28:37 GMT NNTP-Posting-Host: 147.243.46.180 X-Complaints-To: abuse@inet.fi X-Trace: read3.inet.fi 1182342517 147.243.46.180 (Wed, 20 Jun 2007 15:28:37 EEST) NNTP-Posting-Date: Wed, 20 Jun 2007 15:28:37 EEST Organization: Sonera corp Internet services Xref: g2news1.google.com comp.lang.ada:16265 Date: 2007-06-20T12:28:37+00:00 List-Id: anon wrote: > In <1182160706.208857@xnews001>, Dirk Heinrichs > 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