Re: How to exit an Ada program with (unix shell) error code?

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

anon schrieb:
> "Initialize_spca_Driver" is the main subprogram for this device module in 
> either Ada or C versions
> 
> 
> with Linux ;
> with Linux.Modules ;
> with Linux.Modules.IO ;
> 
> use  Linux ;
> use  Modules ;
> use  IO ;
> 
> package body spca is
> 
> .. 
> 
> -- ------------------------------------------------------------------------ --
> --                         Initialize_spca_Driver                           --
> --                                                                          --
> -- Initialize_spca_Driver -- Initializes the loadable module.               --
> --                           1.  Create and extry in the "/proc"            --
> --                           2.  Registers the usb device                   --
> --                                                                          --
> -- ------------------------------------------------------------------------ --
> 
>   function Initialize_spca_Driver return Exit_Status is

> 
> /* C version: from spca.c  */
> 
> /* Now, where is the void???  */

These are initialization routines, not the module
cleanup routines.  The above just happens to return a
value of type Exit_Status that may or may not
coincide with what the kernel expects (unless the
name Exit_Status has been cheerfully overloaded?) :
Interfaces.C.int.  Let's hope it does.

> 
> /* ************************************************************************ */
> /*                         Initialize_spca_Driver                           */
> /*                                                                          */
> /* Initialize_spca_Driver -- Initializes the loadable module.               */
> /*                           1.  Create and extry in the "/proc"            */
> /*                           2.  Registers the usb device                   */
> /*                                                                          */
> /* ************************************************************************ */
> 
> int __init Initialize_spca_Driver ( void )
>   {