/usr/share/ada/adainclude/gpr/gpr-compilation-sync.ads is in libgpr1-dev 2017-5.
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 | ------------------------------------------------------------------------------
-- --
-- GPR PROJECT MANAGER --
-- --
-- Copyright (C) 2014-2017, Free Software Foundation, Inc. --
-- --
-- This library is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This library is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- --
-- --
-- --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
------------------------------------------------------------------------------
-- Synchronize data to/from the slave. The usage is:
--
-- On one side:
-- 1. call Send_Files for every slave to be synchronized
-- 2. call Wait to wait for the synchronization to be terminated
--
-- On the other side:
-- 1. call Receive_Files
with Ada.Containers.Indefinite_Ordered_Sets;
with Ada.Containers.Indefinite_Vectors;
with GPR.Compilation.Protocol; use GPR.Compilation;
package GPR.Compilation.Sync is
package Str_Vect is
new Ada.Containers.Indefinite_Vectors (Positive, String);
type Direction is (To_Slave, To_Master);
procedure Send_Files
(Channel : Protocol.Communication_Channel;
Root_Dir : String;
Excluded_Patterns : Str_Vect.Vector;
Included_Patterns : Str_Vect.Vector;
Mode : Direction);
-- Synchronize from the build master to the slave
procedure Wait;
-- Wait for all synchronization to be terminated
package Files is new Ada.Containers.Indefinite_Ordered_Sets (String);
function Receive_Files
(Channel : Protocol.Communication_Channel;
Root_Dir : String;
Total_File : out Natural;
Total_Transferred : out Natural;
Remote_Files : out Files.Set;
Is_Debug : Boolean;
Display : access procedure (Message : String))
return Protocol.Command_Kind;
-- This routine must be used to receive the files that will be sent over
-- by To_Slave. Total_File will be set with the total number of files
-- checked and Total_Transferred the total number of files actually
-- transferred (because of a time-stamp mismatch). The Root_Dir is the
-- directory from where the files are to be written. Finaly a Display
-- routine can be passed to display messages during the transfer. Some
-- messages are only displayed depending on Is_Debug status.
end GPR.Compilation.Sync;
|