/usr/share/ada/adainclude/gnatprj/mlib.ads is in libgnatprj6-dev 6.4.0-17ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | ------------------------------------------------------------------------------
-- --
-- GNAT COMPILER COMPONENTS --
-- --
-- M L I B --
-- --
-- S p e c --
-- --
-- Copyright (C) 1999-2014, AdaCore --
-- --
-- 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 3, 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 COPYING3. If not, go to --
-- http://www.gnu.org/licenses for a complete copy of the license. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
-- This package provides the core high level routines used by GNATMLIB
-- and GNATMAKE to build libraries
with Namet; use Namet;
with Osint; use Osint;
with GNAT.OS_Lib; use GNAT.OS_Lib;
package MLib is
No_Argument_List : aliased String_List := (1 .. 0 => null);
No_Argument : constant String_List_Access := No_Argument_List'Access;
Max_Characters_In_Library_Name : constant := 20;
-- Maximum number of characters in a library name.
-- Used by Check_Library_Name below.
type Fail_Proc is access procedure (S1 : String);
Fail : Fail_Proc := Osint.Fail'Access;
-- This procedure is used in the MLib hierarchy, instead of
-- directly calling Osint.Fail.
-- It is redirected to Make.Make_Failed by gnatmake.
procedure Check_Library_Name (Name : String);
-- Verify that the name of a library has the following characteristics
-- - starts with a letter
-- - includes only letters and digits
-- - contains not more than Max_Characters_In_Library_Name characters
procedure Build_Library
(Ofiles : Argument_List;
Output_File : String;
Output_Dir : String);
-- Build a static library from a set of object files
procedure Copy_ALI_Files
(Files : Argument_List;
To : Path_Name_Type;
Interfaces : String_List);
-- Copy all ALI files Files to directory To.
-- Mark Interfaces ALI files as interfaces, if any.
procedure Create_Sym_Links
(Lib_Path : String;
Lib_Version : String;
Lib_Dir : String;
Maj_Version : String);
function Linker_Library_Path_Option return String_Access;
-- Linker option to specify to the linker the library directory path.
-- If non null, the library directory path is to be appended.
-- Should be deallocated by the caller, when no longer needed.
function Major_Id_Name
(Lib_Filename : String;
Lib_Version : String) return String;
-- Returns the major id library file name, if it exists.
-- For example, if Lib_Filename is "libtoto.so" and Lib_Version is
-- "libtoto.so.1.2", then "libtoto.so.1" is returned.
function Separate_Run_Path_Options return Boolean;
-- Return True if separate rpath arguments must be passed to the linker
-- for each directory in the rpath.
private
Preserve : Attribute := Time_Stamps;
-- Used by Copy_ALI_Files
end MLib;
|