[Ada] Prepare for removing -f binder argument

[bosch at gnat dot com]

Tested on GNU Linux/x86.

  -Geert

2001-10-30  Robert Dewar <dewar@gnat.com>
	
	* bindusg.adb: Undocument -f switch.
	
	* gnatcmd.adb: Remove /FULL_ELABORATION.
	
	* opt.ads (Force_RM_Elaboration_Order): Document that this is 
	obsolescent.
	
	* gnatbind.adb: Output new warning for use of obsolescent -f switch.
	
	* gnatbind.adb: Minor update of warning msg.

*** bindusg.adb	2001/07/23 10:48:02	1.52
--- bindusg.adb	2001/10/14 19:29:19	1.53
***************
*** 103,114 ****
     Write_Str ("E        Store tracebacks in Exception occurrences");
     Write_Eol;
  
-    --  Line for -f switch
- 
-    Write_Switch_Char;
-    Write_Str ("f        Force RM elaboration ordering rules");
-    Write_Eol;
- 
     --  Line for -h switch
  
     Write_Switch_Char;
--- 103,108 ----

*** gnatcmd.adb	2001/10/03 20:42:33	1.87
--- gnatcmd.adb	2001/10/14 19:29:47	1.88
***************
*** 220,228 ****
     S_Bind_Error   : aliased constant S := "/ERROR_LIMIT=#"                 &
                                              "-m#";
  
-    S_Bind_Full    : aliased constant S := "/FULL_ELABORATION "             &
-                                             "-f";
- 
     S_Bind_Library : aliased constant S := "/LIBRARY_SEARCH=*"              &
                                              "-aO*";
  
--- 220,225 ----
***************
*** 313,319 ****
       S_Bind_Elab    'Access,
       S_Bind_Error   'Access,
       S_Ext_Ref      'Access,
-      S_Bind_Full    'Access,
       S_Bind_Library 'Access,
       S_Bind_Linker  'Access,
       S_Bind_Main    'Access,
--- 310,315 ----

*** opt.ads	2001/09/23 23:23:21	1.194
--- opt.ads	2001/10/14 19:30:05	1.195
***************
*** 331,336 ****
--- 331,339 ----
     Force_RM_Elaboration_Order : Boolean := False;
     --  GNATBIND
     --  True if binding with forced RM elaboration order (-f switch set)
+    --  Note: this is considered an obsolescent option, to be removed in
+    --  some future release. it is no longer documented. The proper way
+    --  to get this effect is to use -gnatE and suppress elab checks.
  
     Full_List : Boolean := False;
     --  GNAT

*** gnatbind.adb	2001/06/28 03:43:02	1.68
--- gnatbind.adb	2001/10/14 19:30:21	1.69
***************
*** 399,411 ****
           Read_ALI (Index);
        end loop;
  
!       --  Warn if -f switch used with static model
  
!       if Force_RM_Elaboration_Order
!         and Static_Elaboration_Model_Used
!       then
!          Error_Msg ("?static elaboration model used, but -f specified");
!          Error_Msg ("?may result in missing run-time elaboration checks");
        end if;
  
        --  Quit if some file needs compiling
--- 399,413 ----
           Read_ALI (Index);
        end loop;
  
!       --  Warn if -f switch used
  
!       if Force_RM_Elaboration_Order then
!          Error_Msg
!            ("?obsolete switch specified, -f is obsolescent");
!          Error_Msg
!            ("?may result in missing run-time elaboration checks");
!          Error_Msg
!            ("?use -gnatE, pragma Suppress (Elaboration_Checks) instead");
        end if;
  
        --  Quit if some file needs compiling

*** gnatbind.adb	2001/10/14 19:30:21	1.69
--- gnatbind.adb	2001/10/14 19:36:56	1.70
***************
*** 403,409 ****
  
        if Force_RM_Elaboration_Order then
           Error_Msg
!            ("?obsolete switch specified, -f is obsolescent");
           Error_Msg
             ("?may result in missing run-time elaboration checks");
           Error_Msg
--- 403,409 ----
  
        if Force_RM_Elaboration_Order then
           Error_Msg
!            ("?-f is obsolescent and should not be used");
           Error_Msg
             ("?may result in missing run-time elaboration checks");
           Error_Msg