/usr/share/ada/adainclude/opentoken.gpr is in libopentoken3-dev 4.0b-3.
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 | -- OpenToken project file for use with GCC 4.3
-- Copyright (c) 2004, 2009 Ludovic Brenta <ludovic.brenta@insalien.org>
-- Copyright (c) 2009 Reto Buerki <reet@codelabs.ch>
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- This project file is designed to help build applications that use
-- OpenToken. Here is an example of how to use this project file:
--
-- with "opentoken";
-- project Example is
-- for Object_Dir use "obj";
-- for Exec_Dir use ".";
-- for Main use ("example");
-- end Example;
project OpenToken is
for Library_Name use "opentoken";
for Library_Dir use "/usr/lib";
for Library_Kind use "dynamic";
for Source_Dirs use ("/usr/share/ada/adainclude/opentoken");
for Library_ALI_Dir use "/usr/lib/ada/adalib/opentoken";
for Externally_Built use "true";
end OpenToken;
|