Re: pragma License ?

[anon@anon.org (anon)]

Try this example ( 5 files ) :
Note: I like spaces so I know it will generate Style warning if compile
      with that option turn on.
--
-- File p.adb
--
package body p is

  work : integer := 255 ;

  function get_work return integer is
    begin
      return work ;
    end ;

end p ;
--
-- File p.ads
--
  pragma License ( GPL ) ;

package p is

  function get_work return integer ;

end p ;
--
-- File b.adb
--
package body b is

  function add ( f : integer ; s : integer ) return integer is
    begin
      return ( f + s ) ;
    end ;

end b ;
--
-- File b.adb
--
  pragma License ( Restricted ) ;

package b is

  function add ( f : integer ; s : integer ) return integer ;

end b ;
--
-- c.adb : Main program
--

-- Does not matter which one is uncommented.  Either will generate 
-- an warning on the other license package.  But removing or 
-- commenting out both pragma License statement in main 
-- program will stop the warning message.
--
--
  pragma License ( Restricted ) ;
--  pragma License ( GPL ) ;

with p ;
with b ;



  procedure c is

    use b ;

    x : integer ;
    z : integer ;

  begin
    x := p.get_work ;

    z := add ( x, 5 ) ;

  end c ;

 



n <f4rsv5$6g9$1@online.de>, Michael Bode <m.g.bode@web.de> writes:
>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