1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- M L I B . T G T . S P E C I F I C --
6 -- (Integrity VMS Version) --
10 -- Copyright (C) 2004-2008, 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 3, 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 COPYING3. If not, go to --
20 -- http://www.gnu.org/licenses for a complete copy of the license. --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
25 ------------------------------------------------------------------------------
27 -- This is the Integrity VMS version of the body
29 with Ada.Characters.Handling; use Ada.Characters.Handling;
34 with MLib.Tgt.VMS_Common;
35 pragma Warnings (Off, MLib.Tgt.VMS_Common);
36 -- MLib.Tgt.VMS_Common is with'ed only for elaboration purposes
39 with Output; use Output;
41 with GNAT.Directory_Operations; use GNAT.Directory_Operations;
43 with System; use System;
44 with System.Case_Util; use System.Case_Util;
45 with System.CRTL; use System.CRTL;
47 package body MLib.Tgt.Specific is
49 -- Non default subprogram. See comment in mlib-tgt.ads.
51 procedure Build_Dynamic_Library
52 (Ofiles : Argument_List;
53 Options : Argument_List;
54 Interfaces : Argument_List;
55 Lib_Filename : String;
57 Symbol_Data : Symbol_Record;
58 Driver_Name : Name_Id := No_Name;
59 Lib_Version : String := "";
60 Auto_Init : Boolean := False);
64 Empty_Argument_List : aliased Argument_List := (1 .. 0 => null);
65 Additional_Objects : Argument_List_Access := Empty_Argument_List'Access;
66 -- Used to add the generated auto-init object files for auto-initializing
67 -- stand-alone libraries.
69 Macro_Name : constant String := "mcr gnu:[bin]gcc -c -x assembler";
70 -- The name of the command to invoke the macro-assembler
72 VMS_Options : Argument_List := (1 .. 1 => null);
74 Gnatsym_Name : constant String := "gnatsym";
76 Gnatsym_Path : String_Access;
78 Arguments : Argument_List_Access := null;
79 Last_Argument : Natural := 0;
81 Success : Boolean := False;
83 Shared_Libgcc : aliased String := "-shared-libgcc";
85 Shared_Libgcc_Switch : constant Argument_List :=
86 (1 => Shared_Libgcc'Access);
88 ---------------------------
89 -- Build_Dynamic_Library --
90 ---------------------------
92 procedure Build_Dynamic_Library
93 (Ofiles : Argument_List;
94 Options : Argument_List;
95 Interfaces : Argument_List;
96 Lib_Filename : String;
98 Symbol_Data : Symbol_Record;
99 Driver_Name : Name_Id := No_Name;
100 Lib_Version : String := "";
101 Auto_Init : Boolean := False)
104 Lib_File : constant String :=
105 Lib_Dir & Directory_Separator & "lib" &
106 Fil.Ext_To (Lib_Filename, DLL_Ext);
108 Opts : Argument_List := Options;
109 Last_Opt : Natural := Opts'Last;
110 Opts2 : Argument_List (Options'Range);
111 Last_Opt2 : Natural := Opts2'First - 1;
113 Inter : constant Argument_List := Interfaces;
115 function Is_Interface (Obj_File : String) return Boolean;
116 -- For a Stand-Alone Library, returns True if Obj_File is the object
117 -- file name of an interface of the SAL. For other libraries, always
120 function Option_File_Name return String;
121 -- Returns Symbol_File, if not empty. Otherwise, returns "symvec.opt"
123 function Version_String return String;
124 -- Returns Lib_Version if not empty and if Symbol_Data.Symbol_Policy is
125 -- not Autonomous, otherwise returns "". When Symbol_Data.Symbol_Policy
126 -- is Autonomous, fails gnatmake if Lib_Version is not the image of a
133 function Is_Interface (Obj_File : String) return Boolean is
134 ALI : constant String :=
136 (Filename => To_Lower (Base_Name (Obj_File)),
140 if Inter'Length = 0 then
143 elsif ALI'Length > 2 and then
144 ALI (ALI'First .. ALI'First + 2) = "b__"
149 for J in Inter'Range loop
150 if Inter (J).all = ALI then
159 ----------------------
160 -- Option_File_Name --
161 ----------------------
163 function Option_File_Name return String is
165 if Symbol_Data.Symbol_File = No_Path then
168 Get_Name_String (Symbol_Data.Symbol_File);
169 To_Lower (Name_Buffer (1 .. Name_Len));
170 return Name_Buffer (1 .. Name_Len);
172 end Option_File_Name;
178 function Version_String return String is
179 Version : Integer := 0;
182 or else Symbol_Data.Symbol_Policy /= Autonomous
188 Version := Integer'Value (Lib_Version);
191 raise Constraint_Error;
197 when Constraint_Error =>
198 Fail ("illegal version """, Lib_Version,
199 """ (on VMS version must be a positive number)");
205 ---------------------
206 -- Local Variables --
207 ---------------------
209 Opt_File_Name : constant String := Option_File_Name;
210 Version : constant String := Version_String;
211 For_Linker_Opt : String_Access;
213 -- Start of processing for Build_Dynamic_Library
216 -- Option file must end with ".opt"
218 if Opt_File_Name'Length > 4
220 Opt_File_Name (Opt_File_Name'Last - 3 .. Opt_File_Name'Last) = ".opt"
222 For_Linker_Opt := new String'("--for-linker=" & Opt_File_Name);
224 Fail ("Options File """, Opt_File_Name, """ must end with .opt");
227 VMS_Options (VMS_Options'First) := For_Linker_Opt;
229 for J in Inter'Range loop
230 To_Lower (Inter (J).all);
233 -- "gnatsym" is necessary for building the option file
235 if Gnatsym_Path = null then
236 Gnatsym_Path := Locate_Exec_On_Path (Gnatsym_Name);
238 if Gnatsym_Path = null then
239 Fail (Gnatsym_Name, " not found in path");
243 -- For auto-initialization of a stand-alone library, we create
244 -- a macro-assembly file and we invoke the macro-assembler.
248 Macro_File_Name : constant String := Lib_Filename & "__init.asm";
249 Macro_File : File_Descriptor;
250 Init_Proc : String := Lib_Filename & "INIT";
251 Popen_Result : System.Address;
252 Pclose_Result : Integer;
254 OK : Boolean := True;
256 command : constant String :=
257 Macro_Name & " " & Macro_File_Name & ASCII.NUL;
258 -- The command to invoke the assembler on the generated auto-init
260 -- Why odd lower case name ???
262 mode : constant String := "r" & ASCII.NUL;
263 -- The mode for the invocation of Popen
264 -- Why odd lower case name ???
267 To_Upper (Init_Proc);
270 Write_Str ("Creating auto-init assembly file """);
271 Write_Str (Macro_File_Name);
275 -- Create and write the auto-init assembly file
280 -- Output a dummy transfer address for debugging
281 -- followed by the LIB$INITIALIZE section.
283 Lines : constant String :=
284 HT & ".pred.safe_across_calls p1-p5,p16-p63" & LF &
286 HT & ".align 16" & LF &
287 HT & ".global __main#" & LF &
288 HT & ".proc __main#" & LF &
290 HT & ".prologue" & LF &
295 HT & "br.ret.sptk.many b0" & LF &
296 HT & ".endp __main#" & LF & LF &
297 HT & ".type " & Init_Proc & "#, @function" & LF &
298 HT & ".global " & Init_Proc & "#" & LF &
299 HT & ".global LIB$INITIALIZE#" & LF &
300 HT & ".section LIB$INITIALIZE#,""a"",@progbits" & LF &
301 HT & "data4 @fptr(" & Init_Proc & "#)" & LF;
304 Macro_File := Create_File (Macro_File_Name, Text);
305 OK := Macro_File /= Invalid_FD;
309 (Macro_File, Lines (Lines'First)'Address,
311 OK := Len = Lines'Length;
315 Close (Macro_File, OK);
319 Fail ("creation of auto-init assembly file """,
320 Macro_File_Name, """ failed");
324 -- Invoke the macro-assembler
327 Write_Str ("Assembling auto-init assembly file """);
328 Write_Str (Macro_File_Name);
332 Popen_Result := popen (command (command'First)'Address,
333 mode (mode'First)'Address);
335 if Popen_Result = Null_Address then
336 Fail ("assembly of auto-init assembly file """,
337 Macro_File_Name, """ failed");
340 -- Wait for the end of execution of the macro-assembler
342 Pclose_Result := pclose (Popen_Result);
344 if Pclose_Result < 0 then
345 Fail ("assembly of auto init assembly file """,
346 Macro_File_Name, """ failed");
349 -- Add the generated object file to the list of objects to be
350 -- included in the library.
352 Additional_Objects :=
354 (1 => new String'(Lib_Filename & "__init.obj"));
358 -- Allocate the argument list and put the symbol file name, the
359 -- reference (if any) and the policy (if not autonomous).
361 Arguments := new Argument_List (1 .. Ofiles'Length + 8);
368 Last_Argument := Last_Argument + 1;
369 Arguments (Last_Argument) := new String'("-v");
372 -- Version number (major ID)
374 if Lib_Version /= "" then
375 Last_Argument := Last_Argument + 1;
376 Arguments (Last_Argument) := new String'("-V");
377 Last_Argument := Last_Argument + 1;
378 Arguments (Last_Argument) := new String'(Version);
383 Last_Argument := Last_Argument + 1;
384 Arguments (Last_Argument) := new String'("-s");
385 Last_Argument := Last_Argument + 1;
386 Arguments (Last_Argument) := new String'(Opt_File_Name);
388 -- Reference Symbol File
390 if Symbol_Data.Reference /= No_Path then
391 Last_Argument := Last_Argument + 1;
392 Arguments (Last_Argument) := new String'("-r");
393 Last_Argument := Last_Argument + 1;
394 Arguments (Last_Argument) :=
395 new String'(Get_Name_String (Symbol_Data.Reference));
400 case Symbol_Data.Symbol_Policy is
405 Last_Argument := Last_Argument + 1;
406 Arguments (Last_Argument) := new String'("-c");
409 Last_Argument := Last_Argument + 1;
410 Arguments (Last_Argument) := new String'("-C");
413 Last_Argument := Last_Argument + 1;
414 Arguments (Last_Argument) := new String'("-R");
417 Last_Argument := Last_Argument + 1;
418 Arguments (Last_Argument) := new String'("-D");
421 -- Add each relevant object file
423 for Index in Ofiles'Range loop
424 if Is_Interface (Ofiles (Index).all) then
425 Last_Argument := Last_Argument + 1;
426 Arguments (Last_Argument) := new String'(Ofiles (Index).all);
432 Spawn (Program_Name => Gnatsym_Path.all,
433 Args => Arguments (1 .. Last_Argument),
437 Fail ("unable to create symbol file for library """,
443 -- Move all the -l switches from Opts to Opts2
446 Index : Natural := Opts'First;
450 while Index <= Last_Opt loop
453 if Opt'Length > 2 and then
454 Opt (Opt'First .. Opt'First + 1) = "-l"
456 if Index < Last_Opt then
457 Opts (Index .. Last_Opt - 1) :=
458 Opts (Index + 1 .. Last_Opt);
461 Last_Opt := Last_Opt - 1;
463 Last_Opt2 := Last_Opt2 + 1;
464 Opts2 (Last_Opt2) := Opt;
472 -- Invoke gcc to build the library
475 (Output_File => Lib_File,
476 Objects => Ofiles & Additional_Objects.all,
477 Options => VMS_Options,
478 Options_2 => Shared_Libgcc_Switch &
479 Opts (Opts'First .. Last_Opt) &
480 Opts2 (Opts2'First .. Last_Opt2),
481 Driver_Name => Driver_Name);
483 -- The auto-init object file need to be deleted, so that it will not
484 -- be included in the library as a regular object file, otherwise
485 -- it will be included twice when the library will be built next
486 -- time, which may lead to errors.
490 Auto_Init_Object_File_Name : constant String :=
491 Lib_Filename & "__init.obj";
494 pragma Warnings (Off, Disregard);
498 Write_Str ("deleting auto-init object file """);
499 Write_Str (Auto_Init_Object_File_Name);
503 Delete_File (Auto_Init_Object_File_Name, Success => Disregard);
506 end Build_Dynamic_Library;
508 -- Package initialization
511 Build_Dynamic_Library_Ptr := Build_Dynamic_Library'Access;
512 end MLib.Tgt.Specific;