/usr/share/ada/adainclude/adasockets.gpr is in libadasockets4-dev 1.8.10-2.
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 | project Adasockets is
Version := "3";
for Library_Dir use "/usr/lib";
for Library_Name use "adasockets";
for Library_Kind use "relocatable";
for Library_Version use "libadasockets.so." & Version;
for Source_Dirs use ("/usr/share/ada/adainclude/adasockets");
for Object_Dir use "/usr/lib/ada/adalib/adasockets";
for Library_ALI_Dir use "/usr/lib/ada/adalib/adasockets";
Linker_Switches := "-ladasockets";
package Linker is
for Default_Switches ("Ada") use (Linker_Switches);
end Linker;
for Externally_Built use "true";
end Adasockets;
|