1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
6 -- (Alpha VMS Version) --
10 -- Copyright (C) 2003-2004, Free Software Foundation, Inc. --
12 -- GNAT is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNAT; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
21 -- MA 02111-1307, USA. --
23 -- GNAT was originally developed by the GNAT team at New York University. --
24 -- Extensive contributions were provided by Ada Core Technologies Inc. --
26 ------------------------------------------------------------------------------
28 -- This is the Alpha VMS version of the body
30 with Ada.Characters.Handling; use Ada.Characters.Handling;
32 with GNAT.Directory_Operations; use GNAT.Directory_Operations;
33 with GNAT.OS_Lib; use GNAT.OS_Lib;
37 with Namet; use Namet;
39 with Output; use Output;
41 with System; use System;
42 with System.Case_Util; use System.Case_Util;
44 package body MLib.Tgt is
48 Empty_Argument_List : aliased Argument_List := (1 .. 0 => null);
49 Additional_Objects : Argument_List_Access := Empty_Argument_List'Access;
50 -- Used to add the generated auto-init object files for auto-initializing
51 -- stand-alone libraries.
53 Macro_Name : constant String := "mcr gnu:[bin]gcc -c -x assembler";
54 -- The name of the command to invoke the macro-assembler
56 VMS_Options : Argument_List := (1 .. 1 => null);
58 Gnatsym_Name : constant String := "gnatsym";
60 Gnatsym_Path : String_Access;
62 Arguments : Argument_List_Access := null;
63 Last_Argument : Natural := 0;
65 Success : Boolean := False;
67 Shared_Libgcc : aliased String := "-shared-libgcc";
69 No_Shared_Libgcc_Switch : aliased Argument_List := (1 .. 0 => null);
70 Shared_Libgcc_Switch : aliased Argument_List :=
71 (1 => Shared_Libgcc'Access);
72 Link_With_Shared_Libgcc : Argument_List_Access :=
73 No_Shared_Libgcc_Switch'Access;
75 ------------------------------
76 -- Target dependent section --
77 ------------------------------
79 function Popen (Command, Mode : System.Address) return System.Address;
80 pragma Import (C, Popen);
82 function Pclose (File : System.Address) return Integer;
83 pragma Import (C, Pclose);
89 function Archive_Builder return String is
94 -----------------------------
95 -- Archive_Builder_Options --
96 -----------------------------
98 function Archive_Builder_Options return String_List_Access is
100 return new String_List'(1 => new String'("cr"));
101 end Archive_Builder_Options;
107 function Archive_Ext return String is
112 ---------------------
113 -- Archive_Indexer --
114 ---------------------
116 function Archive_Indexer return String is
121 ---------------------------
122 -- Build_Dynamic_Library --
123 ---------------------------
125 procedure Build_Dynamic_Library
126 (Ofiles : Argument_List;
127 Foreign : Argument_List;
128 Afiles : Argument_List;
129 Options : Argument_List;
130 Interfaces : Argument_List;
131 Lib_Filename : String;
133 Symbol_Data : Symbol_Record;
134 Driver_Name : Name_Id := No_Name;
135 Lib_Version : String := "";
136 Auto_Init : Boolean := False)
138 pragma Unreferenced (Foreign);
139 pragma Unreferenced (Afiles);
141 Lib_File : constant String :=
142 Lib_Dir & Directory_Separator & "lib" &
143 Fil.Ext_To (Lib_Filename, DLL_Ext);
145 Opts : Argument_List := Options;
146 Last_Opt : Natural := Opts'Last;
147 Opts2 : Argument_List (Options'Range);
148 Last_Opt2 : Natural := Opts2'First - 1;
150 Inter : constant Argument_List := Interfaces;
152 function Is_Interface (Obj_File : String) return Boolean;
153 -- For a Stand-Alone Library, returns True if Obj_File is the object
154 -- file name of an interface of the SAL. For other libraries, always
157 function Option_File_Name return String;
158 -- Returns Symbol_File, if not empty. Otherwise, returns "symvec.opt"
160 function Version_String return String;
161 -- Returns Lib_Version if not empty, otherwise returns "1".
162 -- Fails gnatmake if Lib_Version is not the image of a positive number.
168 function Is_Interface (Obj_File : String) return Boolean is
169 ALI : constant String :=
171 (Filename => To_Lower (Base_Name (Obj_File)),
175 if Inter'Length = 0 then
178 elsif ALI'Length > 2 and then
179 ALI (ALI'First .. ALI'First + 1) = "b$"
184 for J in Inter'Range loop
185 if Inter (J).all = ALI then
194 ----------------------
195 -- Option_File_Name --
196 ----------------------
198 function Option_File_Name return String is
200 if Symbol_Data.Symbol_File = No_Name then
203 Get_Name_String (Symbol_Data.Symbol_File);
204 To_Lower (Name_Buffer (1 .. Name_Len));
205 return Name_Buffer (1 .. Name_Len);
207 end Option_File_Name;
213 function Version_String return String is
214 Version : Integer := 0;
216 if Lib_Version = "" then
221 Version := Integer'Value (Lib_Version);
224 raise Constraint_Error;
230 when Constraint_Error =>
231 Fail ("illegal version """, Lib_Version,
232 """ (on VMS version must be a positive number)");
238 Opt_File_Name : constant String := Option_File_Name;
239 Version : constant String := Version_String;
240 For_Linker_Opt : String_Access;
242 -- Start of processing for Build_Dynamic_Library
245 -- Invoke gcc with -shared-libgcc, but only for GCC 3 or higher
247 if GCC_Version >= 3 then
248 Link_With_Shared_Libgcc := Shared_Libgcc_Switch'Access;
250 Link_With_Shared_Libgcc := No_Shared_Libgcc_Switch'Access;
253 -- If option file name does not ends with ".opt", append "/OPTIONS"
254 -- to its specification for the VMS linker.
256 if Opt_File_Name'Length > 4
258 Opt_File_Name (Opt_File_Name'Last - 3 .. Opt_File_Name'Last) = ".opt"
260 For_Linker_Opt := new String'("--for-linker=" & Opt_File_Name);
263 new String'("--for-linker=" & Opt_File_Name & "/OPTIONS");
266 VMS_Options (VMS_Options'First) := For_Linker_Opt;
268 for J in Inter'Range loop
269 To_Lower (Inter (J).all);
272 -- "gnatsym" is necessary for building the option file
274 if Gnatsym_Path = null then
275 Gnatsym_Path := OS_Lib.Locate_Exec_On_Path (Gnatsym_Name);
277 if Gnatsym_Path = null then
278 Fail (Gnatsym_Name, " not found in path");
282 -- For auto-initialization of a stand-alone library, we create
283 -- a macro-assembly file and we invoke the macro-assembler.
287 Macro_File_Name : constant String := Lib_Filename & "$init.asm";
288 Macro_File : File_Descriptor;
289 Init_Proc : String := Lib_Filename & "INIT";
290 Popen_Result : System.Address;
291 Pclose_Result : Integer;
293 OK : Boolean := True;
295 Command : constant String :=
296 Macro_Name & " " & Macro_File_Name & ASCII.NUL;
297 -- The command to invoke the assembler on the generated auto-init
300 Mode : constant String := "r" & ASCII.NUL;
301 -- The mode for the invocation of Popen
304 To_Upper (Init_Proc);
307 Write_Str ("Creating auto-init assembly file """);
308 Write_Str (Macro_File_Name);
312 -- Create and write the auto-init assembly file
315 First_Line : constant String :=
316 ASCII.HT & ".section LIB$INITIALIZE,GBL,NOWRT" &
318 Second_Line : constant String :=
319 ASCII.HT & ".long " & Init_Proc & ASCII.LF;
320 -- First and second lines of the auto-init assembly file
323 Macro_File := Create_File (Macro_File_Name, Text);
324 OK := Macro_File /= Invalid_FD;
328 (Macro_File, First_Line (First_Line'First)'Address,
330 OK := Len = First_Line'Length;
335 (Macro_File, Second_Line (Second_Line'First)'Address,
337 OK := Len = Second_Line'Length;
341 Close (Macro_File, OK);
345 Fail ("creation of auto-init assembly file """,
346 Macro_File_Name, """ failed");
350 -- Invoke the macro-assembler
353 Write_Str ("Assembling auto-init assembly file """);
354 Write_Str (Macro_File_Name);
358 Popen_Result := Popen (Command (Command'First)'Address,
359 Mode (Mode'First)'Address);
361 if Popen_Result = Null_Address then
362 Fail ("assembly of auto-init assembly file """,
363 Macro_File_Name, """ failed");
366 -- Wait for the end of execution of the macro-assembler
368 Pclose_Result := Pclose (Popen_Result);
370 if Pclose_Result < 0 then
371 Fail ("assembly of auto init assembly file """,
372 Macro_File_Name, """ failed");
375 -- Add the generated object file to the list of objects to be
376 -- included in the library.
378 Additional_Objects :=
380 (1 => new String'(Lib_Filename & "$init.obj"));
384 -- Allocate the argument list and put the symbol file name, the
385 -- reference (if any) and the policy (if not autonomous).
387 Arguments := new Argument_List (1 .. Ofiles'Length + 8);
394 Last_Argument := Last_Argument + 1;
395 Arguments (Last_Argument) := new String'("-v");
398 -- Version number (major ID)
400 if Lib_Version /= "" then
401 Last_Argument := Last_Argument + 1;
402 Arguments (Last_Argument) := new String'("-V");
403 Last_Argument := Last_Argument + 1;
404 Arguments (Last_Argument) := new String'(Version);
409 Last_Argument := Last_Argument + 1;
410 Arguments (Last_Argument) := new String'("-s");
411 Last_Argument := Last_Argument + 1;
412 Arguments (Last_Argument) := new String'(Opt_File_Name);
414 -- Reference Symbol File
416 if Symbol_Data.Reference /= No_Name then
417 Last_Argument := Last_Argument + 1;
418 Arguments (Last_Argument) := new String'("-r");
419 Last_Argument := Last_Argument + 1;
420 Arguments (Last_Argument) :=
421 new String'(Get_Name_String (Symbol_Data.Reference));
426 case Symbol_Data.Symbol_Policy is
431 Last_Argument := Last_Argument + 1;
432 Arguments (Last_Argument) := new String'("-c");
435 Last_Argument := Last_Argument + 1;
436 Arguments (Last_Argument) := new String'("-C");
439 Last_Argument := Last_Argument + 1;
440 Arguments (Last_Argument) := new String'("-R");
443 -- Add each relevant object file
445 for Index in Ofiles'Range loop
446 if Is_Interface (Ofiles (Index).all) then
447 Last_Argument := Last_Argument + 1;
448 Arguments (Last_Argument) := new String'(Ofiles (Index).all);
454 Spawn (Program_Name => Gnatsym_Path.all,
455 Args => Arguments (1 .. Last_Argument),
459 Fail ("unable to create symbol file for library """,
465 -- Move all the -l switches from Opts to Opts2
468 Index : Natural := Opts'First;
472 while Index <= Last_Opt loop
475 if Opt'Length > 2 and then
476 Opt (Opt'First .. Opt'First + 1) = "-l"
478 if Index < Last_Opt then
479 Opts (Index .. Last_Opt - 1) :=
480 Opts (Index + 1 .. Last_Opt);
483 Last_Opt := Last_Opt - 1;
485 Last_Opt2 := Last_Opt2 + 1;
486 Opts2 (Last_Opt2) := Opt;
494 -- Invoke gcc to build the library
497 (Output_File => Lib_File,
498 Objects => Ofiles & Additional_Objects.all,
499 Options => VMS_Options,
500 Options_2 => Link_With_Shared_Libgcc.all &
501 Opts (Opts'First .. Last_Opt) &
502 Opts2 (Opts2'First .. Last_Opt2),
503 Driver_Name => Driver_Name);
505 -- The auto-init object file need to be deleted, so that it will not
506 -- be included in the library as a regular object file, otherwise
507 -- it will be included twice when the library will be built next
508 -- time, which may lead to errors.
512 Auto_Init_Object_File_Name : constant String :=
513 Lib_Filename & "$init.obj";
518 Write_Str ("deleting auto-init object file """);
519 Write_Str (Auto_Init_Object_File_Name);
523 Delete_File (Auto_Init_Object_File_Name, Success => Disregard);
526 end Build_Dynamic_Library;
532 function DLL_Ext return String is
541 function Dynamic_Option return String is
550 function Is_Object_Ext (Ext : String) return Boolean is
559 function Is_C_Ext (Ext : String) return Boolean is
568 function Is_Archive_Ext (Ext : String) return Boolean is
570 return Ext = ".olb" or else Ext = ".exe";
577 function Libgnat return String is
578 Libgnat_A : constant String := "libgnat.a";
579 Libgnat_Olb : constant String := "libgnat.olb";
582 Name_Len := Libgnat_A'Length;
583 Name_Buffer (1 .. Name_Len) := Libgnat_A;
585 if Osint.Find_File (Name_Enter, Osint.Library) /= No_File then
593 ------------------------
594 -- Library_Exists_For --
595 ------------------------
597 function Library_Exists_For (Project : Project_Id) return Boolean is
599 if not Projects.Table (Project).Library then
600 Fail ("INTERNAL ERROR: Library_Exists_For called " &
601 "for non library project");
606 Lib_Dir : constant String :=
607 Get_Name_String (Projects.Table (Project).Library_Dir);
608 Lib_Name : constant String :=
609 Get_Name_String (Projects.Table (Project).Library_Name);
612 if Projects.Table (Project).Library_Kind = Static then
613 return Is_Regular_File
614 (Lib_Dir & Directory_Separator & "lib" &
615 Fil.Ext_To (Lib_Name, Archive_Ext));
618 return Is_Regular_File
619 (Lib_Dir & Directory_Separator & "lib" &
620 Fil.Ext_To (Lib_Name, DLL_Ext));
624 end Library_Exists_For;
626 ---------------------------
627 -- Library_File_Name_For --
628 ---------------------------
630 function Library_File_Name_For (Project : Project_Id) return Name_Id is
632 if not Projects.Table (Project).Library then
633 Prj.Com.Fail ("INTERNAL ERROR: Library_File_Name_For called " &
634 "for non library project");
639 Lib_Name : constant String :=
640 Get_Name_String (Projects.Table (Project).Library_Name);
644 Name_Buffer (1 .. Name_Len) := "lib";
646 if Projects.Table (Project).Library_Kind = Static then
647 Add_Str_To_Name_Buffer (Fil.Ext_To (Lib_Name, Archive_Ext));
650 Add_Str_To_Name_Buffer (Fil.Ext_To (Lib_Name, DLL_Ext));
656 end Library_File_Name_For;
662 function Object_Ext return String is
671 function PIC_Option return String is
676 -----------------------------------------------
677 -- Standalone_Library_Auto_Init_Is_Supported --
678 -----------------------------------------------
680 function Standalone_Library_Auto_Init_Is_Supported return Boolean is
683 end Standalone_Library_Auto_Init_Is_Supported;
685 ---------------------------
686 -- Support_For_Libraries --
687 ---------------------------
689 function Support_For_Libraries return Library_Support is
692 end Support_For_Libraries;