+++ /dev/null
-------------------------------------------------------------------------------
--- --
--- GNAT COMPILER COMPONENTS --
--- --
--- O S I N T --
--- --
--- B o d y --
--- --
--- $Revision: 1.6.10.1 $
--- --
--- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
--- --
--- GNAT is free software; you can redistribute it and/or modify it under --
--- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
--- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
--- --
--- GNAT was originally developed by the GNAT team at New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
--- --
-------------------------------------------------------------------------------
-
-with Fmap; use Fmap;
-with Hostparm;
-with Namet; use Namet;
-with Opt; use Opt;
-with Output; use Output;
-with Sdefault; use Sdefault;
-with Table;
-with Tree_IO; use Tree_IO;
-
-with Unchecked_Conversion;
-
-with GNAT.OS_Lib; use GNAT.OS_Lib;
-with GNAT.HTable;
-
-package body Osint is
-
- -------------------------------------
- -- Use of Name_Find and Name_Enter --
- -------------------------------------
-
- -- This package creates a number of source, ALI and object file names
- -- that are used to locate the actual file and for the purpose of
- -- message construction. These names need not be accessible by Name_Find,
- -- and can be therefore created by using routine Name_Enter. The files in
- -- question are file names with a prefix directory (ie the files not
- -- in the current directory). File names without a prefix directory are
- -- entered with Name_Find because special values might be attached to
- -- the various Info fields of the corresponding name table entry.
-
- -----------------------
- -- Local Subprograms --
- -----------------------
-
- function Append_Suffix_To_File_Name
- (Name : Name_Id;
- Suffix : String)
- return Name_Id;
- -- Appends Suffix to Name and returns the new name.
-
- function OS_Time_To_GNAT_Time (T : OS_Time) return Time_Stamp_Type;
- -- Convert OS format time to GNAT format time stamp
-
- procedure Create_File_And_Check
- (Fdesc : out File_Descriptor;
- Fmode : Mode);
- -- Create file whose name (NUL terminated) is in Name_Buffer (with the
- -- length in Name_Len), and place the resulting descriptor in Fdesc.
- -- Issue message and exit with fatal error if file cannot be created.
- -- The Fmode parameter is set to either Text or Binary (see description
- -- of GNAT.OS_Lib.Create_File).
-
- procedure Set_Library_Info_Name;
- -- Sets a default ali file name from the main compiler source name.
- -- This is used by Create_Output_Library_Info, and by the version of
- -- Read_Library_Info that takes a default file name.
-
- procedure Write_Info (Info : String);
- -- Implementation of Write_Binder_Info, Write_Debug_Info and
- -- Write_Library_Info (identical)
-
- procedure Write_With_Check (A : Address; N : Integer);
- -- Writes N bytes from buffer starting at address A to file whose FD is
- -- stored in Output_FD, and whose file name is stored as a File_Name_Type
- -- in Output_File_Name. A check is made for disk full, and if this is
- -- detected, the file being written is deleted, and a fatal error is
- -- signalled.
-
- function More_Files return Boolean;
- -- Implements More_Source_Files and More_Lib_Files.
-
- function Next_Main_File return File_Name_Type;
- -- Implements Next_Main_Source and Next_Main_Lib_File.
-
- function Locate_File
- (N : File_Name_Type;
- T : File_Type;
- Dir : Natural;
- Name : String)
- return File_Name_Type;
- -- See if the file N whose name is Name exists in directory Dir. Dir is
- -- an index into the Lib_Search_Directories table if T = Library.
- -- Otherwise if T = Source, Dir is an index into the
- -- Src_Search_Directories table. Returns the File_Name_Type of the
- -- full file name if file found, or No_File if not found.
-
- function C_String_Length (S : Address) return Integer;
- -- Returns length of a C string. Returns zero for a null address.
-
- function To_Path_String_Access
- (Path_Addr : Address;
- Path_Len : Integer)
- return String_Access;
- -- Converts a C String to an Ada String. Are we doing this to avoid
- -- withing Interfaces.C.Strings ???
-
- ------------------------------
- -- Other Local Declarations --
- ------------------------------
-
- ALI_Suffix : constant String_Ptr := new String'("ali");
- -- The suffix used for the library files (also known as ALI files).
-
- Object_Suffix : constant String := Get_Object_Suffix.all;
- -- The suffix used for the object files.
-
- EOL : constant Character := ASCII.LF;
- -- End of line character
-
- Argument_Count : constant Integer := Arg_Count - 1;
- -- Number of arguments (excluding program name)
-
- type File_Name_Array is array (Int range <>) of String_Ptr;
- type File_Name_Array_Ptr is access File_Name_Array;
- File_Names : File_Name_Array_Ptr :=
- new File_Name_Array (1 .. Int (Argument_Count) + 2);
- -- As arguments are scanned in Initialize, file names are stored
- -- in this array. The string does not contain a terminating NUL.
- -- The array is "extensible" because when using project files,
- -- there may be more file names than argument on the command line.
-
- Number_File_Names : Int := 0;
- -- The total number of file names found on command line and placed in
- -- File_Names.
-
- Current_File_Name_Index : Int := 0;
- -- The index in File_Names of the last file opened by Next_Main_Source
- -- or Next_Main_Lib_File. The value 0 indicates that no files have been
- -- opened yet.
-
- Current_Main : File_Name_Type := No_File;
- -- Used to save a simple file name between calls to Next_Main_Source and
- -- Read_Source_File. If the file name argument to Read_Source_File is
- -- No_File, that indicates that the file whose name was returned by the
- -- last call to Next_Main_Source (and stored here) is to be read.
-
- Look_In_Primary_Directory_For_Current_Main : Boolean := False;
- -- When this variable is True, Find_File will only look in
- -- the Primary_Directory for the Current_Main file.
- -- This variable is always True for the compiler.
- -- It is also True for gnatmake, when the soucr name given
- -- on the command line has directory information.
-
- Current_Full_Source_Name : File_Name_Type := No_File;
- Current_Full_Source_Stamp : Time_Stamp_Type := Empty_Time_Stamp;
- Current_Full_Lib_Name : File_Name_Type := No_File;
- Current_Full_Lib_Stamp : Time_Stamp_Type := Empty_Time_Stamp;
- Current_Full_Obj_Name : File_Name_Type := No_File;
- Current_Full_Obj_Stamp : Time_Stamp_Type := Empty_Time_Stamp;
- -- Respectively full name (with directory info) and time stamp of
- -- the latest source, library and object files opened by Read_Source_File
- -- and Read_Library_Info.
-
- Old_Binder_Output_Time_Stamp : Time_Stamp_Type;
- New_Binder_Output_Time_Stamp : Time_Stamp_Type;
- Recording_Time_From_Last_Bind : Boolean := False;
- Binder_Output_Time_Stamps_Set : Boolean := False;
-
- In_Binder : Boolean := False;
- In_Compiler : Boolean := False;
- In_Make : Boolean := False;
- -- Exactly one of these flags is set True to indicate which program
- -- is bound and executing with Osint, which is used by all these programs.
-
- Output_FD : File_Descriptor;
- -- The file descriptor for the current library info, tree or binder output
-
- Output_File_Name : File_Name_Type;
- -- File_Name_Type for name of open file whose FD is in Output_FD, the name
- -- stored does not include the trailing NUL character.
-
- Output_Object_File_Name : String_Ptr;
- -- Argument of -o compiler option, if given. This is needed to
- -- verify consistency with the ALI file name.
-
- ------------------
- -- Search Paths --
- ------------------
-
- Primary_Directory : constant := 0;
- -- This is index in the tables created below for the first directory to
- -- search in for source or library information files. This is the
- -- directory containing the latest main input file (a source file for
- -- the compiler or a library file for the binder).
-
- package Src_Search_Directories is new Table.Table (
- Table_Component_Type => String_Ptr,
- Table_Index_Type => Natural,
- Table_Low_Bound => Primary_Directory,
- Table_Initial => 10,
- Table_Increment => 100,
- Table_Name => "Osint.Src_Search_Directories");
- -- Table of names of directories in which to search for source (Compiler)
- -- files. This table is filled in the order in which the directories are
- -- to be searched, and then used in that order.
-
- package Lib_Search_Directories is new Table.Table (
- Table_Component_Type => String_Ptr,
- Table_Index_Type => Natural,
- Table_Low_Bound => Primary_Directory,
- Table_Initial => 10,
- Table_Increment => 100,
- Table_Name => "Osint.Lib_Search_Directories");
- -- Table of names of directories in which to search for library (Binder)
- -- files. This table is filled in the order in which the directories are
- -- to be searched and then used in that order. The reason for having two
- -- distinct tables is that we need them both in gnatmake.
-
- ---------------------
- -- File Hash Table --
- ---------------------
-
- -- The file hash table is provided to free the programmer from any
- -- efficiency concern when retrieving full file names or time stamps of
- -- source files. If the programmer calls Source_File_Data (Cache => True)
- -- he is guaranteed that the price to retrieve the full name (ie with
- -- directory info) or time stamp of the file will be payed only once,
- -- the first time the full name is actually searched (or the first time
- -- the time stamp is actually retrieved). This is achieved by employing
- -- a hash table that stores as a key the File_Name_Type of the file and
- -- associates to that File_Name_Type the full file name of the file and its
- -- time stamp.
-
- File_Cache_Enabled : Boolean := False;
- -- Set to true if you want the enable the file data caching mechanism.
-
- type File_Hash_Num is range 0 .. 1020;
-
- function File_Hash (F : File_Name_Type) return File_Hash_Num;
- -- Compute hash index for use by Simple_HTable
-
- package File_Name_Hash_Table is new GNAT.HTable.Simple_HTable (
- Header_Num => File_Hash_Num,
- Element => File_Name_Type,
- No_Element => No_File,
- Key => File_Name_Type,
- Hash => File_Hash,
- Equal => "=");
-
- package File_Stamp_Hash_Table is new GNAT.HTable.Simple_HTable (
- Header_Num => File_Hash_Num,
- Element => Time_Stamp_Type,
- No_Element => Empty_Time_Stamp,
- Key => File_Name_Type,
- Hash => File_Hash,
- Equal => "=");
-
- function Smart_Find_File
- (N : File_Name_Type;
- T : File_Type)
- return File_Name_Type;
- -- Exactly like Find_File except that if File_Cache_Enabled is True this
- -- routine looks first in the hash table to see if the full name of the
- -- file is already available.
-
- function Smart_File_Stamp
- (N : File_Name_Type;
- T : File_Type)
- return Time_Stamp_Type;
- -- Takes the same parameter as the routine above (N is a file name
- -- without any prefix directory information) and behaves like File_Stamp
- -- except that if File_Cache_Enabled is True this routine looks first in
- -- the hash table to see if the file stamp of the file is already
- -- available.
-
- -----------------------------
- -- Add_Default_Search_Dirs --
- -----------------------------
-
- procedure Add_Default_Search_Dirs is
- Search_Dir : String_Access;
- Search_Path : String_Access;
-
- procedure Add_Search_Dir
- (Search_Dir : String_Access;
- Additional_Source_Dir : Boolean);
- -- Needs documentation ???
-
- function Get_Libraries_From_Registry return String_Ptr;
- -- On Windows systems, get the list of installed standard libraries
- -- from the registry key:
- -- HKEY_LOCAL_MACHINE\SOFTWARE\Ada Core Technologies\
- -- GNAT\Standard Libraries
- -- Return an empty string on other systems
-
- function Update_Path (Path : String_Ptr) return String_Ptr;
- -- Update the specified path to replace the prefix with
- -- the location where GNAT is installed. See the file prefix.c
- -- in GCC for more details.
-
- --------------------
- -- Add_Search_Dir --
- --------------------
-
- procedure Add_Search_Dir
- (Search_Dir : String_Access;
- Additional_Source_Dir : Boolean)
- is
- begin
- if Additional_Source_Dir then
- Add_Src_Search_Dir (Search_Dir.all);
- else
- Add_Lib_Search_Dir (Search_Dir.all);
- end if;
- end Add_Search_Dir;
-
- ---------------------------------
- -- Get_Libraries_From_Registry --
- ---------------------------------
-
- function Get_Libraries_From_Registry return String_Ptr is
- function C_Get_Libraries_From_Registry return Address;
- pragma Import (C, C_Get_Libraries_From_Registry,
- "__gnat_get_libraries_from_registry");
- function Strlen (Str : Address) return Integer;
- pragma Import (C, Strlen, "strlen");
- procedure Strncpy (X : Address; Y : Address; Length : Integer);
- pragma Import (C, Strncpy, "strncpy");
- Result_Ptr : Address;
- Result_Length : Integer;
- Out_String : String_Ptr;
-
- begin
- Result_Ptr := C_Get_Libraries_From_Registry;
- Result_Length := Strlen (Result_Ptr);
-
- Out_String := new String (1 .. Result_Length);
- Strncpy (Out_String.all'Address, Result_Ptr, Result_Length);
- return Out_String;
- end Get_Libraries_From_Registry;
-
- -----------------
- -- Update_Path --
- -----------------
-
- function Update_Path (Path : String_Ptr) return String_Ptr is
-
- function C_Update_Path (Path, Component : Address) return Address;
- pragma Import (C, C_Update_Path, "update_path");
-
- function Strlen (Str : Address) return Integer;
- pragma Import (C, Strlen, "strlen");
-
- procedure Strncpy (X : Address; Y : Address; Length : Integer);
- pragma Import (C, Strncpy, "strncpy");
-
- In_Length : constant Integer := Path'Length;
- In_String : String (1 .. In_Length + 1);
- Component_Name : aliased String := "GNAT" & ASCII.NUL;
- Result_Ptr : Address;
- Result_Length : Integer;
- Out_String : String_Ptr;
-
- begin
- In_String (1 .. In_Length) := Path.all;
- In_String (In_Length + 1) := ASCII.NUL;
- Result_Ptr := C_Update_Path (In_String'Address,
- Component_Name'Address);
- Result_Length := Strlen (Result_Ptr);
-
- Out_String := new String (1 .. Result_Length);
- Strncpy (Out_String.all'Address, Result_Ptr, Result_Length);
- return Out_String;
- end Update_Path;
-
- -- Start of processing for Add_Default_Search_Dirs
-
- begin
- -- After the locations specified on the command line, the next places
- -- to look for files are the directories specified by the appropriate
- -- environment variable. Get this value, extract the directory names
- -- and store in the tables.
-
- -- On VMS, don't expand the logical name (e.g. environment variable),
- -- just put it into Unix (e.g. canonical) format. System services
- -- will handle the expansion as part of the file processing.
-
- for Additional_Source_Dir in False .. True loop
-
- if Additional_Source_Dir then
- Search_Path := Getenv ("ADA_INCLUDE_PATH");
- if Search_Path'Length > 0 then
- if Hostparm.OpenVMS then
- Search_Path := To_Canonical_Path_Spec ("ADA_INCLUDE_PATH:");
- else
- Search_Path := To_Canonical_Path_Spec (Search_Path.all);
- end if;
- end if;
- else
- Search_Path := Getenv ("ADA_OBJECTS_PATH");
- if Search_Path'Length > 0 then
- if Hostparm.OpenVMS then
- Search_Path := To_Canonical_Path_Spec ("ADA_OBJECTS_PATH:");
- else
- Search_Path := To_Canonical_Path_Spec (Search_Path.all);
- end if;
- end if;
- end if;
-
- Get_Next_Dir_In_Path_Init (Search_Path);
- loop
- Search_Dir := Get_Next_Dir_In_Path (Search_Path);
- exit when Search_Dir = null;
- Add_Search_Dir (Search_Dir, Additional_Source_Dir);
- end loop;
- end loop;
-
- if not Opt.No_Stdinc then
- -- For WIN32 systems, look for any system libraries defined in
- -- the registry. These are added to both source and object
- -- directories.
-
- Search_Path := String_Access (Get_Libraries_From_Registry);
- Get_Next_Dir_In_Path_Init (Search_Path);
- loop
- Search_Dir := Get_Next_Dir_In_Path (Search_Path);
- exit when Search_Dir = null;
- Add_Search_Dir (Search_Dir, False);
- Add_Search_Dir (Search_Dir, True);
- end loop;
-
- -- The last place to look are the defaults
-
- Search_Path := Read_Default_Search_Dirs
- (String_Access (Update_Path (Search_Dir_Prefix)),
- Include_Search_File,
- String_Access (Update_Path (Include_Dir_Default_Name)));
-
- Get_Next_Dir_In_Path_Init (Search_Path);
- loop
- Search_Dir := Get_Next_Dir_In_Path (Search_Path);
- exit when Search_Dir = null;
- Add_Search_Dir (Search_Dir, True);
- end loop;
- end if;
-
- if not Opt.No_Stdlib then
- Search_Path := Read_Default_Search_Dirs
- (String_Access (Update_Path (Search_Dir_Prefix)),
- Objects_Search_File,
- String_Access (Update_Path (Object_Dir_Default_Name)));
-
- Get_Next_Dir_In_Path_Init (Search_Path);
- loop
- Search_Dir := Get_Next_Dir_In_Path (Search_Path);
- exit when Search_Dir = null;
- Add_Search_Dir (Search_Dir, False);
- end loop;
- end if;
-
- end Add_Default_Search_Dirs;
-
- --------------
- -- Add_File --
- --------------
-
- procedure Add_File (File_Name : String) is
- begin
- Number_File_Names := Number_File_Names + 1;
-
- -- As Add_File may be called for mains specified inside
- -- a project file, File_Names may be too short and needs
- -- to be extended.
-
- if Number_File_Names > File_Names'Last then
- File_Names := new File_Name_Array'(File_Names.all & File_Names.all);
- end if;
-
- File_Names (Number_File_Names) := new String'(File_Name);
- end Add_File;
-
- ------------------------
- -- Add_Lib_Search_Dir --
- ------------------------
-
- procedure Add_Lib_Search_Dir (Dir : String) is
- begin
- if Dir'Length = 0 then
- Fail ("missing library directory name");
- end if;
-
- Lib_Search_Directories.Increment_Last;
- Lib_Search_Directories.Table (Lib_Search_Directories.Last) :=
- Normalize_Directory_Name (Dir);
- end Add_Lib_Search_Dir;
-
- ------------------------
- -- Add_Src_Search_Dir --
- ------------------------
-
- procedure Add_Src_Search_Dir (Dir : String) is
- begin
- if Dir'Length = 0 then
- Fail ("missing source directory name");
- end if;
-
- Src_Search_Directories.Increment_Last;
- Src_Search_Directories.Table (Src_Search_Directories.Last) :=
- Normalize_Directory_Name (Dir);
- end Add_Src_Search_Dir;
-
- --------------------------------
- -- Append_Suffix_To_File_Name --
- --------------------------------
-
- function Append_Suffix_To_File_Name
- (Name : Name_Id;
- Suffix : String)
- return Name_Id
- is
- begin
- Get_Name_String (Name);
- Name_Buffer (Name_Len + 1 .. Name_Len + Suffix'Length) := Suffix;
- Name_Len := Name_Len + Suffix'Length;
- return Name_Find;
- end Append_Suffix_To_File_Name;
-
- ---------------------
- -- C_String_Length --
- ---------------------
-
- function C_String_Length (S : Address) return Integer is
- function Strlen (S : Address) return Integer;
- pragma Import (C, Strlen, "strlen");
-
- begin
- if S = Null_Address then
- return 0;
- else
- return Strlen (S);
- end if;
- end C_String_Length;
-
- ------------------------------
- -- Canonical_Case_File_Name --
- ------------------------------
-
- -- For now, we only deal with the case of a-z. Eventually we should
- -- worry about other Latin-1 letters on systems that support this ???
-
- procedure Canonical_Case_File_Name (S : in out String) is
- begin
- if not File_Names_Case_Sensitive then
- for J in S'Range loop
- if S (J) in 'A' .. 'Z' then
- S (J) := Character'Val (
- Character'Pos (S (J)) +
- Character'Pos ('a') -
- Character'Pos ('A'));
- end if;
- end loop;
- end if;
- end Canonical_Case_File_Name;
-
- -------------------------
- -- Close_Binder_Output --
- -------------------------
-
- procedure Close_Binder_Output is
- begin
- pragma Assert (In_Binder);
- Close (Output_FD);
-
- if Recording_Time_From_Last_Bind then
- New_Binder_Output_Time_Stamp := File_Stamp (Output_File_Name);
- Binder_Output_Time_Stamps_Set := True;
- end if;
- end Close_Binder_Output;
-
- ----------------------
- -- Close_Debug_File --
- ----------------------
-
- procedure Close_Debug_File is
- begin
- pragma Assert (In_Compiler);
- Close (Output_FD);
- end Close_Debug_File;
-
- -------------------------------
- -- Close_Output_Library_Info --
- -------------------------------
-
- procedure Close_Output_Library_Info is
- begin
- pragma Assert (In_Compiler);
- Close (Output_FD);
- end Close_Output_Library_Info;
-
- --------------------------
- -- Create_Binder_Output --
- --------------------------
-
- procedure Create_Binder_Output
- (Output_File_Name : String;
- Typ : Character;
- Bfile : out Name_Id)
- is
- File_Name : String_Ptr;
- Findex1 : Natural;
- Findex2 : Natural;
- Flength : Natural;
-
- begin
- pragma Assert (In_Binder);
-
- if Output_File_Name /= "" then
- Name_Buffer (Output_File_Name'Range) := Output_File_Name;
- Name_Buffer (Output_File_Name'Last + 1) := ASCII.NUL;
-
- if Typ = 's' then
- Name_Buffer (Output_File_Name'Last) := 's';
- end if;
-
- Name_Len := Output_File_Name'Last;
-
- else
- Name_Buffer (1) := 'b';
- File_Name := File_Names (Current_File_Name_Index);
-
- Findex1 := File_Name'First;
-
- -- The ali file might be specified by a full path name. However,
- -- the binder generated file should always be created in the
- -- current directory, so the path might need to be stripped away.
- -- In addition to the default directory_separator allow the '/' to
- -- act as separator since this is allowed in MS-DOS and OS2 ports.
-
- for J in reverse File_Name'Range loop
- if File_Name (J) = Directory_Separator
- or else File_Name (J) = '/'
- then
- Findex1 := J + 1;
- exit;
- end if;
- end loop;
-
- Findex2 := File_Name'Last;
- while File_Name (Findex2) /= '.' loop
- Findex2 := Findex2 - 1;
- end loop;
-
- Flength := Findex2 - Findex1;
-
- if Maximum_File_Name_Length > 0 then
-
- -- Make room for the extra two characters in "b?"
-
- while Int (Flength) > Maximum_File_Name_Length - 2 loop
- Findex2 := Findex2 - 1;
- Flength := Findex2 - Findex1;
- end loop;
- end if;
-
- Name_Buffer (3 .. Flength + 2) := File_Name (Findex1 .. Findex2 - 1);
- Name_Buffer (Flength + 3) := '.';
-
- -- C bind file, name is b_xxx.c
-
- if Typ = 'c' then
- Name_Buffer (2) := '_';
- Name_Buffer (Flength + 4) := 'c';
- Name_Buffer (Flength + 5) := ASCII.NUL;
- Name_Len := Flength + 4;
-
- -- Ada bind file, name is b~xxx.adb or b~xxx.ads
- -- (with $ instead of ~ in VMS)
-
- else
- if Hostparm.OpenVMS then
- Name_Buffer (2) := '$';
- else
- Name_Buffer (2) := '~';
- end if;
-
- Name_Buffer (Flength + 4) := 'a';
- Name_Buffer (Flength + 5) := 'd';
- Name_Buffer (Flength + 6) := Typ;
- Name_Buffer (Flength + 7) := ASCII.NUL;
- Name_Len := Flength + 6;
- end if;
- end if;
-
- Bfile := Name_Find;
-
- if Recording_Time_From_Last_Bind then
- Old_Binder_Output_Time_Stamp := File_Stamp (Bfile);
- end if;
-
- Create_File_And_Check (Output_FD, Text);
- end Create_Binder_Output;
-
- -----------------------
- -- Create_Debug_File --
- -----------------------
-
- function Create_Debug_File (Src : File_Name_Type) return File_Name_Type is
- Result : File_Name_Type;
-
- begin
- Get_Name_String (Src);
-
- if Hostparm.OpenVMS then
- Name_Buffer (Name_Len + 1 .. Name_Len + 3) := "_dg";
- else
- Name_Buffer (Name_Len + 1 .. Name_Len + 3) := ".dg";
- end if;
-
- Name_Len := Name_Len + 3;
-
- if Output_Object_File_Name /= null then
-
- for Index in reverse Output_Object_File_Name'Range loop
-
- if Output_Object_File_Name (Index) = Directory_Separator then
- declare
- File_Name : constant String := Name_Buffer (1 .. Name_Len);
-
- begin
- Name_Len := Index - Output_Object_File_Name'First + 1;
- Name_Buffer (1 .. Name_Len) :=
- Output_Object_File_Name
- (Output_Object_File_Name'First .. Index);
- Name_Buffer (Name_Len + 1 .. Name_Len + File_Name'Length) :=
- File_Name;
- Name_Len := Name_Len + File_Name'Length;
- end;
-
- exit;
- end if;
- end loop;
- end if;
-
- Result := Name_Find;
- Name_Buffer (Name_Len + 1) := ASCII.NUL;
- Create_File_And_Check (Output_FD, Text);
- return Result;
- end Create_Debug_File;
-
- ---------------------------
- -- Create_File_And_Check --
- ---------------------------
-
- procedure Create_File_And_Check
- (Fdesc : out File_Descriptor;
- Fmode : Mode)
- is
- begin
- Output_File_Name := Name_Enter;
- Fdesc := Create_File (Name_Buffer'Address, Fmode);
-
- if Fdesc = Invalid_FD then
- Fail ("Cannot create: ", Name_Buffer (1 .. Name_Len));
- end if;
- end Create_File_And_Check;
-
- --------------------------------
- -- Create_Output_Library_Info --
- --------------------------------
-
- procedure Create_Output_Library_Info is
- begin
- Set_Library_Info_Name;
- Create_File_And_Check (Output_FD, Text);
- end Create_Output_Library_Info;
-
- --------------------------------
- -- Current_Library_File_Stamp --
- --------------------------------
-
- function Current_Library_File_Stamp return Time_Stamp_Type is
- begin
- return Current_Full_Lib_Stamp;
- end Current_Library_File_Stamp;
-
- -------------------------------
- -- Current_Object_File_Stamp --
- -------------------------------
-
- function Current_Object_File_Stamp return Time_Stamp_Type is
- begin
- return Current_Full_Obj_Stamp;
- end Current_Object_File_Stamp;
-
- -------------------------------
- -- Current_Source_File_Stamp --
- -------------------------------
-
- function Current_Source_File_Stamp return Time_Stamp_Type is
- begin
- return Current_Full_Source_Stamp;
- end Current_Source_File_Stamp;
-
- ---------------------------
- -- Debug_File_Eol_Length --
- ---------------------------
-
- function Debug_File_Eol_Length return Nat is
- begin
- -- There has to be a cleaner way to do this! ???
-
- if Directory_Separator = '/' then
- return 1;
- else
- return 2;
- end if;
- end Debug_File_Eol_Length;
-
- ----------------------------
- -- Dir_In_Obj_Search_Path --
- ----------------------------
-
- function Dir_In_Obj_Search_Path (Position : Natural) return String_Ptr is
- begin
- if Opt.Look_In_Primary_Dir then
- return
- Lib_Search_Directories.Table (Primary_Directory + Position - 1);
- else
- return Lib_Search_Directories.Table (Primary_Directory + Position);
- end if;
- end Dir_In_Obj_Search_Path;
-
- ----------------------------
- -- Dir_In_Src_Search_Path --
- ----------------------------
-
- function Dir_In_Src_Search_Path (Position : Natural) return String_Ptr is
- begin
- if Opt.Look_In_Primary_Dir then
- return
- Src_Search_Directories.Table (Primary_Directory + Position - 1);
- else
- return Src_Search_Directories.Table (Primary_Directory + Position);
- end if;
- end Dir_In_Src_Search_Path;
-
- ---------------------
- -- Executable_Name --
- ---------------------
-
- function Executable_Name (Name : File_Name_Type) return File_Name_Type is
- Exec_Suffix : String_Access;
-
- begin
- if Name = No_File then
- return No_File;
- end if;
-
- Get_Name_String (Name);
- Exec_Suffix := Get_Executable_Suffix;
-
- for J in Exec_Suffix.all'Range loop
- Name_Len := Name_Len + 1;
- Name_Buffer (Name_Len) := Exec_Suffix.all (J);
- end loop;
-
- return Name_Enter;
- end Executable_Name;
-
- ------------------
- -- Exit_Program --
- ------------------
-
- procedure Exit_Program (Exit_Code : Exit_Code_Type) is
- begin
- -- The program will exit with the following status:
- -- 0 if the object file has been generated (with or without warnings)
- -- 1 if recompilation was not needed (smart recompilation)
- -- 2 if gnat1 has been killed by a signal (detected by GCC)
- -- 3 if no code has been generated (spec)
- -- 4 for a fatal error
- -- 5 if there were errors
-
- case Exit_Code is
- when E_Success => OS_Exit (0);
- when E_Warnings => OS_Exit (0);
- when E_No_Compile => OS_Exit (1);
- when E_No_Code => OS_Exit (3);
- when E_Fatal => OS_Exit (4);
- when E_Errors => OS_Exit (5);
- when E_Abort => OS_Abort;
- end case;
- end Exit_Program;
-
- ----------
- -- Fail --
- ----------
-
- procedure Fail (S1 : String; S2 : String := ""; S3 : String := "") is
- begin
- Set_Standard_Error;
- Osint.Write_Program_Name;
- Write_Str (": ");
- Write_Str (S1);
- Write_Str (S2);
- Write_Str (S3);
- Write_Eol;
-
- -- ??? Using Output is ugly, should do direct writes
- -- ??? shouldn't this go to standard error instead of stdout?
-
- Exit_Program (E_Fatal);
- end Fail;
-
- ---------------
- -- File_Hash --
- ---------------
-
- function File_Hash (F : File_Name_Type) return File_Hash_Num is
- begin
- return File_Hash_Num (Int (F) rem File_Hash_Num'Range_Length);
- end File_Hash;
-
- ----------------
- -- File_Stamp --
- ----------------
-
- function File_Stamp (Name : File_Name_Type) return Time_Stamp_Type is
- begin
- if Name = No_File then
- return Empty_Time_Stamp;
- end if;
-
- Get_Name_String (Name);
-
- if not Is_Regular_File (Name_Buffer (1 .. Name_Len)) then
- return Empty_Time_Stamp;
- else
- Name_Buffer (Name_Len + 1) := ASCII.NUL;
- return OS_Time_To_GNAT_Time (File_Time_Stamp (Name_Buffer));
- end if;
- end File_Stamp;
-
- ---------------
- -- Find_File --
- ---------------
-
- function Find_File
- (N : File_Name_Type;
- T : File_Type)
- return File_Name_Type
- is
- begin
- Get_Name_String (N);
-
- declare
- File_Name : String renames Name_Buffer (1 .. Name_Len);
- File : File_Name_Type := No_File;
- Last_Dir : Natural;
-
- begin
- -- If we are looking for a config file, look only in the current
- -- directory, i.e. return input argument unchanged. Also look
- -- only in the current directory if we are looking for a .dg
- -- file (happens in -gnatD mode)
-
- if T = Config
- or else (Debug_Generated_Code
- and then Name_Len > 3
- and then
- (Name_Buffer (Name_Len - 2 .. Name_Len) = ".dg"
- or else
- (Hostparm.OpenVMS and then
- Name_Buffer (Name_Len - 2 .. Name_Len) = "_dg")))
- then
- return N;
-
- -- If we are trying to find the current main file just look in the
- -- directory where the user said it was.
-
- elsif Look_In_Primary_Directory_For_Current_Main
- and then Current_Main = N
- then
- return Locate_File (N, T, Primary_Directory, File_Name);
-
- -- Otherwise do standard search for source file
-
- else
- -- Check the mapping of this file name
-
- File := Mapped_Path_Name (N);
-
- -- If the file name is mapped to a path name, return the
- -- corresponding path name
-
- if File /= No_File then
- return File;
- end if;
-
- -- First place to look is in the primary directory (i.e. the same
- -- directory as the source) unless this has been disabled with -I-
-
- if Opt.Look_In_Primary_Dir then
- File := Locate_File (N, T, Primary_Directory, File_Name);
-
- if File /= No_File then
- return File;
- end if;
- end if;
-
- -- Finally look in directories specified with switches -I/-aI/-aO
-
- if T = Library then
- Last_Dir := Lib_Search_Directories.Last;
- else
- Last_Dir := Src_Search_Directories.Last;
- end if;
-
- for D in Primary_Directory + 1 .. Last_Dir loop
- File := Locate_File (N, T, D, File_Name);
-
- if File /= No_File then
- return File;
- end if;
- end loop;
-
- return No_File;
- end if;
- end;
- end Find_File;
-
- -----------------------
- -- Find_Program_Name --
- -----------------------
-
- procedure Find_Program_Name is
- Command_Name : String (1 .. Len_Arg (0));
- Cindex1 : Integer := Command_Name'First;
- Cindex2 : Integer := Command_Name'Last;
-
- begin
- Fill_Arg (Command_Name'Address, 0);
-
- -- The program name might be specified by a full path name. However,
- -- we don't want to print that all out in an error message, so the
- -- path might need to be stripped away.
-
- for J in reverse Cindex1 .. Cindex2 loop
- if Is_Directory_Separator (Command_Name (J)) then
- Cindex1 := J + 1;
- exit;
- end if;
- end loop;
-
- for J in reverse Cindex1 .. Cindex2 loop
- if Command_Name (J) = '.' then
- Cindex2 := J - 1;
- exit;
- end if;
- end loop;
-
- Name_Len := Cindex2 - Cindex1 + 1;
- Name_Buffer (1 .. Name_Len) := Command_Name (Cindex1 .. Cindex2);
- end Find_Program_Name;
-
- ------------------------
- -- Full_Lib_File_Name --
- ------------------------
-
- function Full_Lib_File_Name (N : File_Name_Type) return File_Name_Type is
- begin
- return Find_File (N, Library);
- end Full_Lib_File_Name;
-
- ----------------------------
- -- Full_Library_Info_Name --
- ----------------------------
-
- function Full_Library_Info_Name return File_Name_Type is
- begin
- return Current_Full_Lib_Name;
- end Full_Library_Info_Name;
-
- ---------------------------
- -- Full_Object_File_Name --
- ---------------------------
-
- function Full_Object_File_Name return File_Name_Type is
- begin
- return Current_Full_Obj_Name;
- end Full_Object_File_Name;
-
- ----------------------
- -- Full_Source_Name --
- ----------------------
-
- function Full_Source_Name return File_Name_Type is
- begin
- return Current_Full_Source_Name;
- end Full_Source_Name;
-
- ----------------------
- -- Full_Source_Name --
- ----------------------
-
- function Full_Source_Name (N : File_Name_Type) return File_Name_Type is
- begin
- return Smart_Find_File (N, Source);
- end Full_Source_Name;
-
- -------------------
- -- Get_Directory --
- -------------------
-
- function Get_Directory (Name : File_Name_Type) return File_Name_Type is
- begin
- Get_Name_String (Name);
-
- for J in reverse 1 .. Name_Len loop
- if Is_Directory_Separator (Name_Buffer (J)) then
- Name_Len := J;
- return Name_Find;
- end if;
- end loop;
-
- Name_Len := Hostparm.Normalized_CWD'Length;
- Name_Buffer (1 .. Name_Len) := Hostparm.Normalized_CWD;
- return Name_Find;
- end Get_Directory;
-
- --------------------------
- -- Get_Next_Dir_In_Path --
- --------------------------
-
- Search_Path_Pos : Integer;
- -- Keeps track of current position in search path. Initialized by the
- -- call to Get_Next_Dir_In_Path_Init, updated by Get_Next_Dir_In_Path.
-
- function Get_Next_Dir_In_Path
- (Search_Path : String_Access)
- return String_Access
- is
- Lower_Bound : Positive := Search_Path_Pos;
- Upper_Bound : Positive;
-
- begin
- loop
- while Lower_Bound <= Search_Path'Last
- and then Search_Path.all (Lower_Bound) = Path_Separator
- loop
- Lower_Bound := Lower_Bound + 1;
- end loop;
-
- exit when Lower_Bound > Search_Path'Last;
-
- Upper_Bound := Lower_Bound;
- while Upper_Bound <= Search_Path'Last
- and then Search_Path.all (Upper_Bound) /= Path_Separator
- loop
- Upper_Bound := Upper_Bound + 1;
- end loop;
-
- Search_Path_Pos := Upper_Bound;
- return new String'(Search_Path.all (Lower_Bound .. Upper_Bound - 1));
- end loop;
-
- return null;
- end Get_Next_Dir_In_Path;
-
- -------------------------------
- -- Get_Next_Dir_In_Path_Init --
- -------------------------------
-
- procedure Get_Next_Dir_In_Path_Init (Search_Path : String_Access) is
- begin
- Search_Path_Pos := Search_Path'First;
- end Get_Next_Dir_In_Path_Init;
-
- --------------------------------------
- -- Get_Primary_Src_Search_Directory --
- --------------------------------------
-
- function Get_Primary_Src_Search_Directory return String_Ptr is
- begin
- return Src_Search_Directories.Table (Primary_Directory);
- end Get_Primary_Src_Search_Directory;
-
- ----------------
- -- Initialize --
- ----------------
-
- procedure Initialize (P : Program_Type) is
- function Get_Default_Identifier_Character_Set return Character;
- pragma Import (C, Get_Default_Identifier_Character_Set,
- "__gnat_get_default_identifier_character_set");
- -- Function to determine the default identifier character set,
- -- which is system dependent. See Opt package spec for a list of
- -- the possible character codes and their interpretations.
-
- function Get_Maximum_File_Name_Length return Int;
- pragma Import (C, Get_Maximum_File_Name_Length,
- "__gnat_get_maximum_file_name_length");
- -- Function to get maximum file name length for system
-
- procedure Adjust_OS_Resource_Limits;
- pragma Import (C, Adjust_OS_Resource_Limits,
- "__gnat_adjust_os_resource_limits");
- -- Procedure to make system specific adjustments to make GNAT
- -- run better.
-
- -- Start of processing for Initialize
-
- begin
- Program := P;
-
- case Program is
- when Binder => In_Binder := True;
- when Compiler => In_Compiler := True;
- when Make => In_Make := True;
- end case;
-
- if In_Compiler then
- Adjust_OS_Resource_Limits;
- end if;
-
- Src_Search_Directories.Init;
- Lib_Search_Directories.Init;
-
- Identifier_Character_Set := Get_Default_Identifier_Character_Set;
- Maximum_File_Name_Length := Get_Maximum_File_Name_Length;
-
- -- Following should be removed by having above function return
- -- Integer'Last as indication of no maximum instead of -1 ???
-
- if Maximum_File_Name_Length = -1 then
- Maximum_File_Name_Length := Int'Last;
- end if;
-
- -- Start off by setting all suppress options to False, these will
- -- be reset later (turning some on if -gnato is not specified, and
- -- turning all of them on if -gnatp is specified).
-
- Suppress_Options := (others => False);
-
- -- Set software overflow check flag. For now all targets require the
- -- use of software overflow checks. Later on, this will have to be
- -- specialized to the backend target. Also, if software overflow
- -- checking mode is set, then the default for suppressing overflow
- -- checks is True, since the software approach is expensive.
-
- Software_Overflow_Checking := True;
- Suppress_Options.Overflow_Checks := True;
-
- -- Reserve the first slot in the search paths table. This is the
- -- directory of the main source file or main library file and is
- -- filled in by each call to Next_Main_Source/Next_Main_Lib_File with
- -- the directory specified for this main source or library file. This
- -- is the directory which is searched first by default. This default
- -- search is inhibited by the option -I- for both source and library
- -- files.
-
- Src_Search_Directories.Set_Last (Primary_Directory);
- Src_Search_Directories.Table (Primary_Directory) := new String'("");
-
- Lib_Search_Directories.Set_Last (Primary_Directory);
- Lib_Search_Directories.Table (Primary_Directory) := new String'("");
-
- end Initialize;
-
- ----------------------------
- -- Is_Directory_Separator --
- ----------------------------
-
- function Is_Directory_Separator (C : Character) return Boolean is
- begin
- -- In addition to the default directory_separator allow the '/' to
- -- act as separator since this is allowed in MS-DOS, Windows 95/NT,
- -- and OS2 ports. On VMS, the situation is more complicated because
- -- there are two characters to check for.
-
- return
- C = Directory_Separator
- or else C = '/'
- or else (Hostparm.OpenVMS
- and then (C = ']' or else C = ':'));
- end Is_Directory_Separator;
-
- -------------------------
- -- Is_Readonly_Library --
- -------------------------
-
- function Is_Readonly_Library (File : in File_Name_Type) return Boolean is
- begin
- Get_Name_String (File);
-
- pragma Assert (Name_Buffer (Name_Len - 3 .. Name_Len) = ".ali");
-
- return not Is_Writable_File (Name_Buffer (1 .. Name_Len));
- end Is_Readonly_Library;
-
- -------------------
- -- Lib_File_Name --
- -------------------
-
- function Lib_File_Name
- (Source_File : File_Name_Type)
- return File_Name_Type
- is
- Fptr : Natural;
- -- Pointer to location to set extension in place
-
- begin
- Get_Name_String (Source_File);
- Fptr := Name_Len + 1;
-
- for J in reverse 1 .. Name_Len loop
- if Name_Buffer (J) = '.' then
- Fptr := J;
- exit;
- end if;
- end loop;
-
- Name_Buffer (Fptr) := '.';
- Name_Buffer (Fptr + 1 .. Fptr + ALI_Suffix'Length) := ALI_Suffix.all;
- Name_Buffer (Fptr + ALI_Suffix'Length + 1) := ASCII.NUL;
- Name_Len := Fptr + ALI_Suffix'Length;
- return Name_Find;
- end Lib_File_Name;
-
- ------------------------
- -- Library_File_Stamp --
- ------------------------
-
- function Library_File_Stamp (N : File_Name_Type) return Time_Stamp_Type is
- begin
- return File_Stamp (Find_File (N, Library));
- end Library_File_Stamp;
-
- -----------------
- -- Locate_File --
- -----------------
-
- function Locate_File
- (N : File_Name_Type;
- T : File_Type;
- Dir : Natural;
- Name : String)
- return File_Name_Type
- is
- Dir_Name : String_Ptr;
-
- begin
- if T = Library then
- Dir_Name := Lib_Search_Directories.Table (Dir);
-
- else pragma Assert (T = Source);
- Dir_Name := Src_Search_Directories.Table (Dir);
- end if;
-
- declare
- Full_Name : String (1 .. Dir_Name'Length + Name'Length);
-
- begin
- Full_Name (1 .. Dir_Name'Length) := Dir_Name.all;
- Full_Name (Dir_Name'Length + 1 .. Full_Name'Length) := Name;
-
- if not Is_Regular_File (Full_Name) then
- return No_File;
-
- else
- -- If the file is in the current directory then return N itself
-
- if Dir_Name'Length = 0 then
- return N;
- else
- Name_Len := Full_Name'Length;
- Name_Buffer (1 .. Name_Len) := Full_Name;
- return Name_Enter;
- end if;
- end if;
- end;
- end Locate_File;
-
- -------------------------------
- -- Matching_Full_Source_Name --
- -------------------------------
-
- function Matching_Full_Source_Name
- (N : File_Name_Type;
- T : Time_Stamp_Type)
- return File_Name_Type
- is
- begin
- Get_Name_String (N);
-
- declare
- File_Name : constant String := Name_Buffer (1 .. Name_Len);
- File : File_Name_Type := No_File;
- Last_Dir : Natural;
-
- begin
- if Opt.Look_In_Primary_Dir then
- File := Locate_File (N, Source, Primary_Directory, File_Name);
-
- if File /= No_File and then T = File_Stamp (N) then
- return File;
- end if;
- end if;
-
- Last_Dir := Src_Search_Directories.Last;
-
- for D in Primary_Directory + 1 .. Last_Dir loop
- File := Locate_File (N, Source, D, File_Name);
-
- if File /= No_File and then T = File_Stamp (File) then
- return File;
- end if;
- end loop;
-
- return No_File;
- end;
- end Matching_Full_Source_Name;
-
- ----------------
- -- More_Files --
- ----------------
-
- function More_Files return Boolean is
- begin
- return (Current_File_Name_Index < Number_File_Names);
- end More_Files;
-
- --------------------
- -- More_Lib_Files --
- --------------------
-
- function More_Lib_Files return Boolean is
- begin
- pragma Assert (In_Binder);
- return More_Files;
- end More_Lib_Files;
-
- -----------------------
- -- More_Source_Files --
- -----------------------
-
- function More_Source_Files return Boolean is
- begin
- pragma Assert (In_Compiler or else In_Make);
- return More_Files;
- end More_Source_Files;
-
- -------------------------------
- -- Nb_Dir_In_Obj_Search_Path --
- -------------------------------
-
- function Nb_Dir_In_Obj_Search_Path return Natural is
- begin
- if Opt.Look_In_Primary_Dir then
- return Lib_Search_Directories.Last - Primary_Directory + 1;
- else
- return Lib_Search_Directories.Last - Primary_Directory;
- end if;
- end Nb_Dir_In_Obj_Search_Path;
-
- -------------------------------
- -- Nb_Dir_In_Src_Search_Path --
- -------------------------------
-
- function Nb_Dir_In_Src_Search_Path return Natural is
- begin
- if Opt.Look_In_Primary_Dir then
- return Src_Search_Directories.Last - Primary_Directory + 1;
- else
- return Src_Search_Directories.Last - Primary_Directory;
- end if;
- end Nb_Dir_In_Src_Search_Path;
-
- --------------------
- -- Next_Main_File --
- --------------------
-
- function Next_Main_File return File_Name_Type is
- File_Name : String_Ptr;
- Dir_Name : String_Ptr;
- Fptr : Natural;
-
- begin
- pragma Assert (More_Files);
-
- Current_File_Name_Index := Current_File_Name_Index + 1;
-
- -- Get the file and directory name
-
- File_Name := File_Names (Current_File_Name_Index);
- Fptr := File_Name'First;
-
- for J in reverse File_Name'Range loop
- if File_Name (J) = Directory_Separator
- or else File_Name (J) = '/'
- then
- if J = File_Name'Last then
- Fail ("File name missing");
- end if;
-
- Fptr := J + 1;
- exit;
- end if;
- end loop;
-
- -- Save name of directory in which main unit resides for use in
- -- locating other units
-
- Dir_Name := new String'(File_Name (File_Name'First .. Fptr - 1));
-
- if In_Compiler then
- Src_Search_Directories.Table (Primary_Directory) := Dir_Name;
- Look_In_Primary_Directory_For_Current_Main := True;
-
- elsif In_Make then
- Src_Search_Directories.Table (Primary_Directory) := Dir_Name;
- if Fptr > File_Name'First then
- Look_In_Primary_Directory_For_Current_Main := True;
- end if;
-
- else pragma Assert (In_Binder);
- Dir_Name := Normalize_Directory_Name (Dir_Name.all);
- Lib_Search_Directories.Table (Primary_Directory) := Dir_Name;
- end if;
-
- Name_Len := File_Name'Last - Fptr + 1;
- Name_Buffer (1 .. Name_Len) := File_Name (Fptr .. File_Name'Last);
- Canonical_Case_File_Name (Name_Buffer (1 .. Name_Len));
- Current_Main := File_Name_Type (Name_Find);
-
- -- In the gnatmake case, the main file may have not have the
- -- extension. Try ".adb" first then ".ads"
-
- if In_Make then
- declare
- Orig_Main : File_Name_Type := Current_Main;
-
- begin
- if Strip_Suffix (Orig_Main) = Orig_Main then
- Current_Main := Append_Suffix_To_File_Name (Orig_Main, ".adb");
-
- if Full_Source_Name (Current_Main) = No_File then
- Current_Main :=
- Append_Suffix_To_File_Name (Orig_Main, ".ads");
-
- if Full_Source_Name (Current_Main) = No_File then
- Current_Main := Orig_Main;
- end if;
- end if;
- end if;
- end;
- end if;
-
- return Current_Main;
- end Next_Main_File;
-
- ------------------------
- -- Next_Main_Lib_File --
- ------------------------
-
- function Next_Main_Lib_File return File_Name_Type is
- begin
- pragma Assert (In_Binder);
- return Next_Main_File;
- end Next_Main_Lib_File;
-
- ----------------------
- -- Next_Main_Source --
- ----------------------
-
- function Next_Main_Source return File_Name_Type is
- Main_File : File_Name_Type := Next_Main_File;
-
- begin
- pragma Assert (In_Compiler or else In_Make);
- return Main_File;
- end Next_Main_Source;
-
- ------------------------------
- -- Normalize_Directory_Name --
- ------------------------------
-
- function Normalize_Directory_Name (Directory : String) return String_Ptr is
- Result : String_Ptr;
-
- begin
- if Directory'Length = 0 then
- Result := new String'(Hostparm.Normalized_CWD);
-
- elsif Is_Directory_Separator (Directory (Directory'Last)) then
- Result := new String'(Directory);
- else
- Result := new String (1 .. Directory'Length + 1);
- Result (1 .. Directory'Length) := Directory;
- Result (Directory'Length + 1) := Directory_Separator;
- end if;
-
- return Result;
- end Normalize_Directory_Name;
-
- ---------------------
- -- Number_Of_Files --
- ---------------------
-
- function Number_Of_Files return Int is
- begin
- return Number_File_Names;
- end Number_Of_Files;
-
- ----------------------
- -- Object_File_Name --
- ----------------------
-
- function Object_File_Name (N : File_Name_Type) return File_Name_Type is
- begin
- if N = No_File then
- return No_File;
- end if;
-
- Get_Name_String (N);
- Name_Len := Name_Len - ALI_Suffix'Length - 1;
-
- for J in Object_Suffix'Range loop
- Name_Len := Name_Len + 1;
- Name_Buffer (Name_Len) := Object_Suffix (J);
- end loop;
-
- return Name_Enter;
- end Object_File_Name;
-
- --------------------------
- -- OS_Time_To_GNAT_Time --
- --------------------------
-
- function OS_Time_To_GNAT_Time (T : OS_Time) return Time_Stamp_Type is
- GNAT_Time : Time_Stamp_Type;
-
- Y : Year_Type;
- Mo : Month_Type;
- D : Day_Type;
- H : Hour_Type;
- Mn : Minute_Type;
- S : Second_Type;
-
- begin
- GM_Split (T, Y, Mo, D, H, Mn, S);
- Make_Time_Stamp
- (Year => Nat (Y),
- Month => Nat (Mo),
- Day => Nat (D),
- Hour => Nat (H),
- Minutes => Nat (Mn),
- Seconds => Nat (S),
- TS => GNAT_Time);
-
- return GNAT_Time;
- end OS_Time_To_GNAT_Time;
-
- ------------------
- -- Program_Name --
- ------------------
-
- function Program_Name (Nam : String) return String_Access is
- Res : String_Access;
-
- begin
- -- Get the name of the current program being executed
-
- Find_Program_Name;
-
- -- Find the target prefix if any, for the cross compilation case
- -- for instance in "alpha-dec-vxworks-gcc" the target prefix is
- -- "alpha-dec-vxworks-"
-
- while Name_Len > 0 loop
- if Name_Buffer (Name_Len) = '-' then
- exit;
- end if;
-
- Name_Len := Name_Len - 1;
- end loop;
-
- -- Create the new program name
-
- Res := new String (1 .. Name_Len + Nam'Length);
- Res.all (1 .. Name_Len) := Name_Buffer (1 .. Name_Len);
- Res.all (Name_Len + 1 .. Name_Len + Nam'Length) := Nam;
- return Res;
- end Program_Name;
-
- ------------------------------
- -- Read_Default_Search_Dirs --
- ------------------------------
-
- function Read_Default_Search_Dirs
- (Search_Dir_Prefix : String_Access;
- Search_File : String_Access;
- Search_Dir_Default_Name : String_Access)
- return String_Access
- is
- Prefix_Len : constant Integer := Search_Dir_Prefix.all'Length;
- Buffer : String (1 .. Prefix_Len + Search_File.all'Length + 1);
- File_FD : File_Descriptor;
- S, S1 : String_Access;
- Len : Integer;
- Curr : Integer;
- Actual_Len : Integer;
- J1 : Integer;
-
- Prev_Was_Separator : Boolean;
- Nb_Relative_Dir : Integer;
-
- function Is_Relative (S : String; K : Positive) return Boolean;
- pragma Inline (Is_Relative);
- -- Returns True if a relative directory specification is found
- -- in S at position K, False otherwise.
-
- -----------------
- -- Is_Relative --
- -----------------
-
- function Is_Relative (S : String; K : Positive) return Boolean is
- begin
- return not Is_Absolute_Path (S (K .. S'Last));
- end Is_Relative;
-
- -- Start of processing for Read_Default_Search_Dirs
-
- begin
- -- Construct a C compatible character string buffer.
-
- Buffer (1 .. Search_Dir_Prefix.all'Length)
- := Search_Dir_Prefix.all;
- Buffer (Search_Dir_Prefix.all'Length + 1 .. Buffer'Last - 1)
- := Search_File.all;
- Buffer (Buffer'Last) := ASCII.NUL;
-
- File_FD := Open_Read (Buffer'Address, Binary);
- if File_FD = Invalid_FD then
- return Search_Dir_Default_Name;
- end if;
-
- Len := Integer (File_Length (File_FD));
-
- -- An extra character for a trailing Path_Separator is allocated
-
- S := new String (1 .. Len + 1);
- S (Len + 1) := Path_Separator;
-
- -- Read the file. Note that the loop is not necessary since the
- -- whole file is read at once except on VMS.
-
- Curr := 1;
- Actual_Len := Len;
- while Actual_Len /= 0 loop
- Actual_Len := Read (File_FD, S (Curr)'Address, Len);
- Curr := Curr + Actual_Len;
- end loop;
-
- -- Process the file, translating line and file ending
- -- control characters to a path separator character.
-
- Prev_Was_Separator := True;
- Nb_Relative_Dir := 0;
- for J in 1 .. Len loop
- if S (J) in ASCII.NUL .. ASCII.US
- or else S (J) = ' '
- then
- S (J) := Path_Separator;
- end if;
-
- if S (J) = Path_Separator then
- Prev_Was_Separator := True;
- else
- if Prev_Was_Separator and then Is_Relative (S.all, J) then
- Nb_Relative_Dir := Nb_Relative_Dir + 1;
- end if;
-
- Prev_Was_Separator := False;
- end if;
- end loop;
-
- if Nb_Relative_Dir = 0 then
- return S;
- end if;
-
- -- Add the Search_Dir_Prefix to all relative paths
-
- S1 := new String (1 .. S'Length + Nb_Relative_Dir * Prefix_Len);
- J1 := 1;
- Prev_Was_Separator := True;
- for J in 1 .. Len + 1 loop
- if S (J) = Path_Separator then
- Prev_Was_Separator := True;
-
- else
- if Prev_Was_Separator and then Is_Relative (S.all, J) then
- S1 (J1 .. J1 + Prefix_Len) := Search_Dir_Prefix.all;
- J1 := J1 + Prefix_Len;
- end if;
-
- Prev_Was_Separator := False;
- end if;
- S1 (J1) := S (J);
- J1 := J1 + 1;
- end loop;
-
- Free (S);
- return S1;
- end Read_Default_Search_Dirs;
-
- -----------------------
- -- Read_Library_Info --
- -----------------------
-
- function Read_Library_Info
- (Lib_File : File_Name_Type;
- Fatal_Err : Boolean := False)
- return Text_Buffer_Ptr
- is
- Lib_FD : File_Descriptor;
- -- The file descriptor for the current library file. A negative value
- -- indicates failure to open the specified source file.
-
- Text : Text_Buffer_Ptr;
- -- Allocated text buffer.
-
- begin
- Current_Full_Lib_Name := Find_File (Lib_File, Library);
- Current_Full_Obj_Name := Object_File_Name (Current_Full_Lib_Name);
-
- if Current_Full_Lib_Name = No_File then
- if Fatal_Err then
- Fail ("Cannot find: ", Name_Buffer (1 .. Name_Len));
- else
- Current_Full_Obj_Stamp := Empty_Time_Stamp;
- return null;
- end if;
- end if;
-
- Get_Name_String (Current_Full_Lib_Name);
- Name_Buffer (Name_Len + 1) := ASCII.NUL;
-
- -- Open the library FD, note that we open in binary mode, because as
- -- documented in the spec, the caller is expected to handle either
- -- DOS or Unix mode files, and there is no point in wasting time on
- -- text translation when it is not required.
-
- Lib_FD := Open_Read (Name_Buffer'Address, Binary);
-
- if Lib_FD = Invalid_FD then
- if Fatal_Err then
- Fail ("Cannot open: ", Name_Buffer (1 .. Name_Len));
- else
- Current_Full_Obj_Stamp := Empty_Time_Stamp;
- return null;
- end if;
- end if;
-
- -- Check for object file consistency if requested
-
- if Opt.Check_Object_Consistency then
- Current_Full_Lib_Stamp := File_Stamp (Current_Full_Lib_Name);
- Current_Full_Obj_Stamp := File_Stamp (Current_Full_Obj_Name);
-
- if Current_Full_Obj_Stamp (1) = ' ' then
-
- -- When the library is readonly, always assume that
- -- the object is consistent.
-
- if Is_Readonly_Library (Current_Full_Lib_Name) then
- Current_Full_Obj_Stamp := Current_Full_Lib_Stamp;
-
- elsif Fatal_Err then
- Get_Name_String (Current_Full_Obj_Name);
- Close (Lib_FD);
- Fail ("Cannot find: ", Name_Buffer (1 .. Name_Len));
-
- else
- Current_Full_Obj_Stamp := Empty_Time_Stamp;
- Close (Lib_FD);
- return null;
- end if;
- end if;
-
- -- Object file exists, compare object and ALI time stamps
-
- if Current_Full_Lib_Stamp > Current_Full_Obj_Stamp then
- if Fatal_Err then
- Get_Name_String (Current_Full_Obj_Name);
- Close (Lib_FD);
- Fail ("Bad time stamp: ", Name_Buffer (1 .. Name_Len));
- else
- Current_Full_Obj_Stamp := Empty_Time_Stamp;
- Close (Lib_FD);
- return null;
- end if;
- end if;
- end if;
-
- -- Read data from the file
-
- declare
- Len : Integer := Integer (File_Length (Lib_FD));
- -- Length of source file text. If it doesn't fit in an integer
- -- we're probably stuck anyway (>2 gigs of source seems a lot!)
-
- Actual_Len : Integer := 0;
-
- Lo : Text_Ptr := 0;
- -- Low bound for allocated text buffer
-
- Hi : Text_Ptr := Text_Ptr (Len);
- -- High bound for allocated text buffer. Note length is Len + 1
- -- which allows for extra EOF character at the end of the buffer.
-
- begin
- -- Allocate text buffer. Note extra character at end for EOF
-
- Text := new Text_Buffer (Lo .. Hi);
-
- -- Some systems (e.g. VMS) have file types that require one
- -- read per line, so read until we get the Len bytes or until
- -- there are no more characters.
-
- Hi := Lo;
- loop
- Actual_Len := Read (Lib_FD, Text (Hi)'Address, Len);
- Hi := Hi + Text_Ptr (Actual_Len);
- exit when Actual_Len = Len or Actual_Len <= 0;
- end loop;
-
- Text (Hi) := EOF;
- end;
-
- -- Read is complete, close file and we are done
-
- Close (Lib_FD);
- return Text;
-
- end Read_Library_Info;
-
- -- Version with default file name
-
- procedure Read_Library_Info
- (Name : out File_Name_Type;
- Text : out Text_Buffer_Ptr)
- is
- begin
- Set_Library_Info_Name;
- Name := Name_Find;
- Text := Read_Library_Info (Name, Fatal_Err => False);
- end Read_Library_Info;
-
- ----------------------
- -- Read_Source_File --
- ----------------------
-
- procedure Read_Source_File
- (N : File_Name_Type;
- Lo : Source_Ptr;
- Hi : out Source_Ptr;
- Src : out Source_Buffer_Ptr;
- T : File_Type := Source)
- is
- Source_File_FD : File_Descriptor;
- -- The file descriptor for the current source file. A negative value
- -- indicates failure to open the specified source file.
-
- Len : Integer;
- -- Length of file. Assume no more than 2 gigabytes of source!
-
- Actual_Len : Integer;
-
- begin
- Current_Full_Source_Name := Find_File (N, T);
- Current_Full_Source_Stamp := File_Stamp (Current_Full_Source_Name);
-
- if Current_Full_Source_Name = No_File then
-
- -- If we were trying to access the main file and we could not
- -- find it we have an error.
-
- if N = Current_Main then
- Get_Name_String (N);
- Fail ("Cannot find: ", Name_Buffer (1 .. Name_Len));
- end if;
-
- Src := null;
- Hi := No_Location;
- return;
- end if;
-
- Get_Name_String (Current_Full_Source_Name);
- Name_Buffer (Name_Len + 1) := ASCII.NUL;
-
- -- Open the source FD, note that we open in binary mode, because as
- -- documented in the spec, the caller is expected to handle either
- -- DOS or Unix mode files, and there is no point in wasting time on
- -- text translation when it is not required.
-
- Source_File_FD := Open_Read (Name_Buffer'Address, Binary);
-
- if Source_File_FD = Invalid_FD then
- Src := null;
- Hi := No_Location;
- return;
- end if;
-
- -- Prepare to read data from the file
-
- Len := Integer (File_Length (Source_File_FD));
-
- -- Set Hi so that length is one more than the physical length,
- -- allowing for the extra EOF character at the end of the buffer
-
- Hi := Lo + Source_Ptr (Len);
-
- -- Do the actual read operation
-
- declare
- subtype Actual_Source_Buffer is Source_Buffer (Lo .. Hi);
- -- Physical buffer allocated
-
- type Actual_Source_Ptr is access Actual_Source_Buffer;
- -- This is the pointer type for the physical buffer allocated
-
- Actual_Ptr : Actual_Source_Ptr := new Actual_Source_Buffer;
- -- And this is the actual physical buffer
-
- begin
- -- Allocate source buffer, allowing extra character at end for EOF
-
- -- Some systems (e.g. VMS) have file types that require one
- -- read per line, so read until we get the Len bytes or until
- -- there are no more characters.
-
- Hi := Lo;
- loop
- Actual_Len := Read (Source_File_FD, Actual_Ptr (Hi)'Address, Len);
- Hi := Hi + Source_Ptr (Actual_Len);
- exit when Actual_Len = Len or Actual_Len <= 0;
- end loop;
-
- Actual_Ptr (Hi) := EOF;
-
- -- Now we need to work out the proper virtual origin pointer to
- -- return. This is exactly Actual_Ptr (0)'Address, but we have
- -- to be careful to suppress checks to compute this address.
-
- declare
- pragma Suppress (All_Checks);
-
- function To_Source_Buffer_Ptr is new
- Unchecked_Conversion (Address, Source_Buffer_Ptr);
-
- begin
- Src := To_Source_Buffer_Ptr (Actual_Ptr (0)'Address);
- end;
- end;
-
- -- Read is complete, get time stamp and close file and we are done
-
- Close (Source_File_FD);
-
- end Read_Source_File;
-
- --------------------------------
- -- Record_Time_From_Last_Bind --
- --------------------------------
-
- procedure Record_Time_From_Last_Bind is
- begin
- Recording_Time_From_Last_Bind := True;
- end Record_Time_From_Last_Bind;
-
- ---------------------------
- -- Set_Library_Info_Name --
- ---------------------------
-
- procedure Set_Library_Info_Name is
- Dot_Index : Natural;
-
- begin
- pragma Assert (In_Compiler);
- Get_Name_String (Current_Main);
-
- -- Find last dot since we replace the existing extension by .ali. The
- -- initialization to Name_Len + 1 provides for simply adding the .ali
- -- extension if the source file name has no extension.
-
- Dot_Index := Name_Len + 1;
- for J in reverse 1 .. Name_Len loop
- if Name_Buffer (J) = '.' then
- Dot_Index := J;
- exit;
- end if;
- end loop;
-
- -- Make sure that the output file name matches the source file name.
- -- To compare them, remove file name directories and extensions.
-
- if Output_Object_File_Name /= null then
- declare
- Name : constant String := Name_Buffer (1 .. Dot_Index);
- Len : constant Natural := Dot_Index;
-
- begin
- Name_Buffer (1 .. Output_Object_File_Name'Length)
- := Output_Object_File_Name.all;
- Dot_Index := 0;
-
- for J in reverse Output_Object_File_Name'Range loop
- if Name_Buffer (J) = '.' then
- Dot_Index := J;
- exit;
- end if;
- end loop;
-
- pragma Assert (Dot_Index /= 0);
- -- We check for the extension elsewhere
-
- if Name /= Name_Buffer (Dot_Index - Len + 1 .. Dot_Index) then
- Fail ("incorrect object file name");
- end if;
- end;
- end if;
-
- Name_Buffer (Dot_Index) := '.';
- Name_Buffer (Dot_Index + 1 .. Dot_Index + 3) := ALI_Suffix.all;
- Name_Buffer (Dot_Index + 4) := ASCII.NUL;
- Name_Len := Dot_Index + 3;
- end Set_Library_Info_Name;
-
- ---------------------------------
- -- Set_Output_Object_File_Name --
- ---------------------------------
-
- procedure Set_Output_Object_File_Name (Name : String) is
- Ext : constant String := Object_Suffix;
- NL : constant Natural := Name'Length;
- EL : constant Natural := Ext'Length;
-
- begin
- -- Make sure that the object file has the expected extension.
-
- if NL <= EL
- or else Name (NL - EL + Name'First .. Name'Last) /= Ext
- then
- Fail ("incorrect object file extension");
- end if;
-
- Output_Object_File_Name := new String'(Name);
- end Set_Output_Object_File_Name;
-
- ------------------------
- -- Set_Main_File_Name --
- ------------------------
-
- procedure Set_Main_File_Name (Name : String) is
- begin
- Number_File_Names := Number_File_Names + 1;
- File_Names (Number_File_Names) := new String'(Name);
- end Set_Main_File_Name;
-
- ----------------------
- -- Smart_File_Stamp --
- ----------------------
-
- function Smart_File_Stamp
- (N : File_Name_Type;
- T : File_Type)
- return Time_Stamp_Type
- is
- Time_Stamp : Time_Stamp_Type;
-
- begin
- if not File_Cache_Enabled then
- return File_Stamp (Find_File (N, T));
- end if;
-
- Time_Stamp := File_Stamp_Hash_Table.Get (N);
-
- if Time_Stamp (1) = ' ' then
- Time_Stamp := File_Stamp (Smart_Find_File (N, T));
- File_Stamp_Hash_Table.Set (N, Time_Stamp);
- end if;
-
- return Time_Stamp;
- end Smart_File_Stamp;
-
- ---------------------
- -- Smart_Find_File --
- ---------------------
-
- function Smart_Find_File
- (N : File_Name_Type;
- T : File_Type)
- return File_Name_Type
- is
- Full_File_Name : File_Name_Type;
-
- begin
- if not File_Cache_Enabled then
- return Find_File (N, T);
- end if;
-
- Full_File_Name := File_Name_Hash_Table.Get (N);
-
- if Full_File_Name = No_File then
- Full_File_Name := Find_File (N, T);
- File_Name_Hash_Table.Set (N, Full_File_Name);
- end if;
-
- return Full_File_Name;
- end Smart_Find_File;
-
- ----------------------
- -- Source_File_Data --
- ----------------------
-
- procedure Source_File_Data (Cache : Boolean) is
- begin
- File_Cache_Enabled := Cache;
- end Source_File_Data;
-
- -----------------------
- -- Source_File_Stamp --
- -----------------------
-
- function Source_File_Stamp (N : File_Name_Type) return Time_Stamp_Type is
- begin
- return Smart_File_Stamp (N, Source);
- end Source_File_Stamp;
-
- ---------------------
- -- Strip_Directory --
- ---------------------
-
- function Strip_Directory (Name : File_Name_Type) return File_Name_Type is
- begin
- Get_Name_String (Name);
-
- declare
- S : String (1 .. Name_Len) := Name_Buffer (1 .. Name_Len);
- Fptr : Natural := S'First;
-
- begin
- for J in reverse S'Range loop
- if Is_Directory_Separator (S (J)) then
- Fptr := J + 1;
- exit;
- end if;
- end loop;
-
- if Fptr = S'First then
- return Name;
- end if;
-
- Name_Buffer (1 .. S'Last - Fptr + 1) := S (Fptr .. S'Last);
- Name_Len := S'Last - Fptr + 1;
- return Name_Find;
- end;
- end Strip_Directory;
-
- ------------------
- -- Strip_Suffix --
- ------------------
-
- function Strip_Suffix (Name : File_Name_Type) return File_Name_Type is
- begin
- Get_Name_String (Name);
-
- for J in reverse 1 .. Name_Len loop
- if Name_Buffer (J) = '.' then
- Name_Len := J - 1;
- return Name_Enter;
- end if;
- end loop;
-
- return Name;
- end Strip_Suffix;
-
- -------------------------
- -- Time_From_Last_Bind --
- -------------------------
-
- function Time_From_Last_Bind return Nat is
- Old_Y : Nat;
- Old_M : Nat;
- Old_D : Nat;
- Old_H : Nat;
- Old_Mi : Nat;
- Old_S : Nat;
- New_Y : Nat;
- New_M : Nat;
- New_D : Nat;
- New_H : Nat;
- New_Mi : Nat;
- New_S : Nat;
-
- type Month_Data is array (Int range 1 .. 12) of Int;
- Cumul : constant Month_Data := (0, 0, 3, 3, 4, 4, 5, 5, 5, 6, 6, 7);
- -- Represents the difference in days from a period compared to the
- -- same period if all months had 31 days, i.e:
- --
- -- Cumul (m) = 31x(m-1) - (number of days from 01/01 to m/01)
-
- Res : Int;
-
- begin
- if not Recording_Time_From_Last_Bind
- or else not Binder_Output_Time_Stamps_Set
- or else Old_Binder_Output_Time_Stamp = Empty_Time_Stamp
- then
- return Nat'Last;
- end if;
-
- Split_Time_Stamp
- (Old_Binder_Output_Time_Stamp,
- Old_Y, Old_M, Old_D, Old_H, Old_Mi, Old_S);
-
- Split_Time_Stamp
- (New_Binder_Output_Time_Stamp,
- New_Y, New_M, New_D, New_H, New_Mi, New_S);
-
- Res := New_Mi - Old_Mi;
-
- -- 60 minutes in an hour
-
- Res := Res + 60 * (New_H - Old_H);
-
- -- 24 hours in a day
-
- Res := Res + 60 * 24 * (New_D - Old_D);
-
- -- Almost 31 days in a month
-
- Res := Res + 60 * 24 *
- (31 * (New_M - Old_M) - Cumul (New_M) + Cumul (Old_M));
-
- -- 365 days in a year
-
- Res := Res + 60 * 24 * 365 * (New_Y - Old_Y);
-
- return Res;
- end Time_From_Last_Bind;
-
- ---------------------------
- -- To_Canonical_Dir_Spec --
- ---------------------------
-
- function To_Canonical_Dir_Spec
- (Host_Dir : String;
- Prefix_Style : Boolean)
- return String_Access
- is
- function To_Canonical_Dir_Spec
- (Host_Dir : Address;
- Prefix_Flag : Integer)
- return Address;
- pragma Import (C, To_Canonical_Dir_Spec, "__gnat_to_canonical_dir_spec");
-
- C_Host_Dir : String (1 .. Host_Dir'Length + 1);
- Canonical_Dir_Addr : Address;
- Canonical_Dir_Len : Integer;
-
- begin
- C_Host_Dir (1 .. Host_Dir'Length) := Host_Dir;
- C_Host_Dir (C_Host_Dir'Last) := ASCII.NUL;
-
- if Prefix_Style then
- Canonical_Dir_Addr := To_Canonical_Dir_Spec (C_Host_Dir'Address, 1);
- else
- Canonical_Dir_Addr := To_Canonical_Dir_Spec (C_Host_Dir'Address, 0);
- end if;
- Canonical_Dir_Len := C_String_Length (Canonical_Dir_Addr);
-
- if Canonical_Dir_Len = 0 then
- return null;
- else
- return To_Path_String_Access (Canonical_Dir_Addr, Canonical_Dir_Len);
- end if;
-
- exception
- when others =>
- Fail ("erroneous directory spec: ", Host_Dir);
- return null;
- end To_Canonical_Dir_Spec;
-
- ---------------------------
- -- To_Canonical_File_List --
- ---------------------------
-
- function To_Canonical_File_List
- (Wildcard_Host_File : String;
- Only_Dirs : Boolean)
- return String_Access_List_Access
- is
- function To_Canonical_File_List_Init
- (Host_File : Address;
- Only_Dirs : Integer)
- return Integer;
- pragma Import (C, To_Canonical_File_List_Init,
- "__gnat_to_canonical_file_list_init");
-
- function To_Canonical_File_List_Next return Address;
- pragma Import (C, To_Canonical_File_List_Next,
- "__gnat_to_canonical_file_list_next");
-
- procedure To_Canonical_File_List_Free;
- pragma Import (C, To_Canonical_File_List_Free,
- "__gnat_to_canonical_file_list_free");
-
- Num_Files : Integer;
- C_Wildcard_Host_File : String (1 .. Wildcard_Host_File'Length + 1);
-
- begin
- C_Wildcard_Host_File (1 .. Wildcard_Host_File'Length) :=
- Wildcard_Host_File;
- C_Wildcard_Host_File (C_Wildcard_Host_File'Last) := ASCII.NUL;
-
- -- Do the expansion and say how many there are
-
- Num_Files := To_Canonical_File_List_Init
- (C_Wildcard_Host_File'Address, Boolean'Pos (Only_Dirs));
-
- declare
- Canonical_File_List : String_Access_List (1 .. Num_Files);
- Canonical_File_Addr : Address;
- Canonical_File_Len : Integer;
-
- begin
- -- Retrieve the expanded directoy names and build the list
-
- for J in 1 .. Num_Files loop
- Canonical_File_Addr := To_Canonical_File_List_Next;
- Canonical_File_Len := C_String_Length (Canonical_File_Addr);
- Canonical_File_List (J) := To_Path_String_Access
- (Canonical_File_Addr, Canonical_File_Len);
- end loop;
-
- -- Free up the storage
-
- To_Canonical_File_List_Free;
-
- return new String_Access_List'(Canonical_File_List);
- end;
- end To_Canonical_File_List;
-
- ----------------------------
- -- To_Canonical_File_Spec --
- ----------------------------
-
- function To_Canonical_File_Spec
- (Host_File : String)
- return String_Access
- is
- function To_Canonical_File_Spec (Host_File : Address) return Address;
- pragma Import
- (C, To_Canonical_File_Spec, "__gnat_to_canonical_file_spec");
-
- C_Host_File : String (1 .. Host_File'Length + 1);
- Canonical_File_Addr : Address;
- Canonical_File_Len : Integer;
-
- begin
- C_Host_File (1 .. Host_File'Length) := Host_File;
- C_Host_File (C_Host_File'Last) := ASCII.NUL;
-
- Canonical_File_Addr := To_Canonical_File_Spec (C_Host_File'Address);
- Canonical_File_Len := C_String_Length (Canonical_File_Addr);
-
- if Canonical_File_Len = 0 then
- return null;
- else
- return To_Path_String_Access
- (Canonical_File_Addr, Canonical_File_Len);
- end if;
-
- exception
- when others =>
- Fail ("erroneous file spec: ", Host_File);
- return null;
- end To_Canonical_File_Spec;
-
- ----------------------------
- -- To_Canonical_Path_Spec --
- ----------------------------
-
- function To_Canonical_Path_Spec
- (Host_Path : String)
- return String_Access
- is
- function To_Canonical_Path_Spec (Host_Path : Address) return Address;
- pragma Import
- (C, To_Canonical_Path_Spec, "__gnat_to_canonical_path_spec");
-
- C_Host_Path : String (1 .. Host_Path'Length + 1);
- Canonical_Path_Addr : Address;
- Canonical_Path_Len : Integer;
-
- begin
- C_Host_Path (1 .. Host_Path'Length) := Host_Path;
- C_Host_Path (C_Host_Path'Last) := ASCII.NUL;
-
- Canonical_Path_Addr := To_Canonical_Path_Spec (C_Host_Path'Address);
- Canonical_Path_Len := C_String_Length (Canonical_Path_Addr);
-
- -- Return a null string (vice a null) for zero length paths, for
- -- compatibility with getenv().
-
- return To_Path_String_Access (Canonical_Path_Addr, Canonical_Path_Len);
-
- exception
- when others =>
- Fail ("erroneous path spec: ", Host_Path);
- return null;
- end To_Canonical_Path_Spec;
-
- ---------------------------
- -- To_Host_Dir_Spec --
- ---------------------------
-
- function To_Host_Dir_Spec
- (Canonical_Dir : String;
- Prefix_Style : Boolean)
- return String_Access
- is
- function To_Host_Dir_Spec
- (Canonical_Dir : Address;
- Prefix_Flag : Integer)
- return Address;
- pragma Import (C, To_Host_Dir_Spec, "__gnat_to_host_dir_spec");
-
- C_Canonical_Dir : String (1 .. Canonical_Dir'Length + 1);
- Host_Dir_Addr : Address;
- Host_Dir_Len : Integer;
-
- begin
- C_Canonical_Dir (1 .. Canonical_Dir'Length) := Canonical_Dir;
- C_Canonical_Dir (C_Canonical_Dir'Last) := ASCII.NUL;
-
- if Prefix_Style then
- Host_Dir_Addr := To_Host_Dir_Spec (C_Canonical_Dir'Address, 1);
- else
- Host_Dir_Addr := To_Host_Dir_Spec (C_Canonical_Dir'Address, 0);
- end if;
- Host_Dir_Len := C_String_Length (Host_Dir_Addr);
-
- if Host_Dir_Len = 0 then
- return null;
- else
- return To_Path_String_Access (Host_Dir_Addr, Host_Dir_Len);
- end if;
- end To_Host_Dir_Spec;
-
- ----------------------------
- -- To_Host_File_Spec --
- ----------------------------
-
- function To_Host_File_Spec
- (Canonical_File : String)
- return String_Access
- is
- function To_Host_File_Spec (Canonical_File : Address) return Address;
- pragma Import (C, To_Host_File_Spec, "__gnat_to_host_file_spec");
-
- C_Canonical_File : String (1 .. Canonical_File'Length + 1);
- Host_File_Addr : Address;
- Host_File_Len : Integer;
-
- begin
- C_Canonical_File (1 .. Canonical_File'Length) := Canonical_File;
- C_Canonical_File (C_Canonical_File'Last) := ASCII.NUL;
-
- Host_File_Addr := To_Host_File_Spec (C_Canonical_File'Address);
- Host_File_Len := C_String_Length (Host_File_Addr);
-
- if Host_File_Len = 0 then
- return null;
- else
- return To_Path_String_Access
- (Host_File_Addr, Host_File_Len);
- end if;
- end To_Host_File_Spec;
-
- ---------------------------
- -- To_Path_String_Access --
- ---------------------------
-
- function To_Path_String_Access
- (Path_Addr : Address;
- Path_Len : Integer)
- return String_Access
- is
- subtype Path_String is String (1 .. Path_Len);
- type Path_String_Access is access Path_String;
-
- function Address_To_Access is new
- Unchecked_Conversion (Source => Address,
- Target => Path_String_Access);
-
- Path_Access : Path_String_Access := Address_To_Access (Path_Addr);
-
- Return_Val : String_Access;
-
- begin
- Return_Val := new String (1 .. Path_Len);
-
- for J in 1 .. Path_Len loop
- Return_Val (J) := Path_Access (J);
- end loop;
-
- return Return_Val;
- end To_Path_String_Access;
-
- ----------------
- -- Tree_Close --
- ----------------
-
- procedure Tree_Close is
- begin
- pragma Assert (In_Compiler);
- Tree_Write_Terminate;
- Close (Output_FD);
- end Tree_Close;
-
- -----------------
- -- Tree_Create --
- -----------------
-
- procedure Tree_Create is
- Dot_Index : Natural;
-
- begin
- pragma Assert (In_Compiler);
- Get_Name_String (Current_Main);
-
- -- If an object file has been specified, then the ALI file
- -- will be in the same directory as the object file;
- -- so, we put the tree file in this same directory,
- -- even though no object file needs to be generated.
-
- if Output_Object_File_Name /= null then
- Name_Len := Output_Object_File_Name'Length;
- Name_Buffer (1 .. Name_Len) := Output_Object_File_Name.all;
- end if;
-
- Dot_Index := 0;
- for J in reverse 1 .. Name_Len loop
- if Name_Buffer (J) = '.' then
- Dot_Index := J;
- exit;
- end if;
- end loop;
-
- -- Should be impossible to not have an extension
-
- pragma Assert (Dot_Index /= 0);
-
- -- Change exctension to adt
-
- Name_Buffer (Dot_Index + 1) := 'a';
- Name_Buffer (Dot_Index + 2) := 'd';
- Name_Buffer (Dot_Index + 3) := 't';
- Name_Buffer (Dot_Index + 4) := ASCII.NUL;
- Name_Len := Dot_Index + 3;
- Create_File_And_Check (Output_FD, Binary);
-
- Tree_Write_Initialize (Output_FD);
- end Tree_Create;
-
- ----------------
- -- Write_Info --
- ----------------
-
- procedure Write_Info (Info : String) is
- begin
- pragma Assert (In_Binder or In_Compiler);
- Write_With_Check (Info'Address, Info'Length);
- Write_With_Check (EOL'Address, 1);
- end Write_Info;
-
- -----------------------
- -- Write_Binder_Info --
- -----------------------
-
- procedure Write_Binder_Info (Info : String) renames Write_Info;
-
- -----------------------
- -- Write_Debug_Info --
- -----------------------
-
- procedure Write_Debug_Info (Info : String) renames Write_Info;
-
- ------------------------
- -- Write_Library_Info --
- ------------------------
-
- procedure Write_Library_Info (Info : String) renames Write_Info;
-
- ------------------------
- -- Write_Program_Name --
- ------------------------
-
- procedure Write_Program_Name is
- Save_Buffer : String (1 .. Name_Len) := Name_Buffer (1 .. Name_Len);
-
- begin
-
- Find_Program_Name;
-
- -- Convert the name to lower case so error messages are the same on
- -- all systems.
-
- for J in 1 .. Name_Len loop
- if Name_Buffer (J) in 'A' .. 'Z' then
- Name_Buffer (J) :=
- Character'Val (Character'Pos (Name_Buffer (J)) + 32);
- end if;
- end loop;
-
- Write_Str (Name_Buffer (1 .. Name_Len));
-
- -- Restore Name_Buffer which was clobbered by the call to
- -- Find_Program_Name
-
- Name_Len := Save_Buffer'Last;
- Name_Buffer (1 .. Name_Len) := Save_Buffer;
- end Write_Program_Name;
-
- ----------------------
- -- Write_With_Check --
- ----------------------
-
- procedure Write_With_Check (A : Address; N : Integer) is
- Ignore : Boolean;
-
- begin
- if N = Write (Output_FD, A, N) then
- return;
-
- else
- Write_Str ("error: disk full writing ");
- Write_Name_Decoded (Output_File_Name);
- Write_Eol;
- Name_Len := Name_Len + 1;
- Name_Buffer (Name_Len) := ASCII.NUL;
- Delete_File (Name_Buffer'Address, Ignore);
- Exit_Program (E_Fatal);
- end if;
- end Write_With_Check;
-
-end Osint;