comp.lang.ada
 help / color / mirror / Atom feed
* pragma License ?
@ 2007-06-14 17:13 Michael Bode
  2007-06-15  9:10 ` anon
  0 siblings, 1 reply; 33+ messages in thread
From: Michael Bode @ 2007-06-14 17:13 UTC (permalink / raw)


Gnat has this nice feature called pragma License (unrestriced | GPL
...); Is this used somewhere in the Adacore universe? 

I tried today to compile a package with 'pragma License (Restricted);' in
the package body. The package withs some GtkAda packages. First try
with Gnat 3.15p and the related ancient GtkAda 2.4 package. As
expected there was no warning. Then I tried the same on Debian Etch
with GtkAda 2.8. Again no warning.

What good is an implementation defined pragma, if even said
implementation doesn't use it?

-- 
No intelligent man has any respect for an unjust law. 
He simply follows the eleventh commandment.
-- R.A. Heinlein



^ permalink raw reply	[flat|nested] 33+ messages in thread

end of thread, other threads:[~2007-06-22 20:42 UTC | newest]

Thread overview: 33+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-06-14 17:13 pragma License ? Michael Bode
2007-06-15  9:10 ` anon
2007-06-15 18:12   ` Michael Bode
2007-06-17  7:21     ` Corrected version " anon
2007-06-17 10:33       ` Michael Bode
2007-06-18  9:07         ` anon
2007-06-18  9:58           ` Dirk Heinrichs
2007-06-20 10:38             ` anon
2007-06-20 12:09               ` Georg Bauhaus
2007-06-20 12:28               ` Dirk Heinrichs
2007-06-20 13:40               ` Markus E Leypold
2007-06-20 13:43                 ` Markus E Leypold
2007-06-22  6:30               ` Harald Korneliussen
2007-06-22 10:36                 ` Markus E Leypold
2007-06-22 10:55                   ` Markus E Leypold
2007-06-22 11:16                 ` Ludovic Brenta
2007-06-22 14:30                   ` Markus E Leypold
2007-06-22 14:31                   ` Markus E Leypold
2007-06-22 11:37                 ` anon
2007-06-22 12:10                   ` Dirk Heinrichs
2007-06-22 17:48                     ` Georg Bauhaus
2007-06-22 18:05                       ` Markus E Leypold
2007-06-22 14:27                   ` Markus E Leypold
2007-06-22 17:58                   ` Georg Bauhaus
2007-06-22 18:00                     ` Michael Bode
2007-06-22 18:14                       ` Markus E Leypold
2007-06-22 18:44                       ` Georg Bauhaus
2007-06-22 19:02                         ` Michael Bode
2007-06-22 20:42                           ` Markus E Leypold
2007-06-22 18:11                     ` Markus E Leypold
2007-06-18 15:08           ` Georg Bauhaus
2007-06-17 10:47       ` Markus E Leypold
2007-06-18  7:33       ` Dirk Heinrichs

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox