Re: Library file locations (was: Debian Policy for Ada, Second Edition)

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Tapio Kelloniemi <spam18@thack.org> writes:
[...] 
> However GCC searches for header files in /usr/include and
> /usr/local/include even when it is installed under /opt. If some
> other behaviour is desired, GCC specs must be modified. So either
> GNAT should also use the same specs machanism as the rest of GCC (we
> agree that GNAT should behave the same way as other compilers in
> GCC?) or it should:
> 
> - Search from /usr/local if and only if it will be installed to /usr.
> and/or
> - Provide an easy way for system administrators to change the project search 
>   path. Perhaps a file like ada_project_path could be added to lib/gcc/*/* 
>   where ada_object_path and ada_source_path files may also reside.

The Debian Policy for Ada says that each library must provide a
project file called /usr/share/ada/adainclude/LIBRARY.gpr.

I intend to have the system Ada compiler look for project files in
that directory by default.

Each user can, in addition, have project files anywhere they please,
and define ADA_PROJECT_PATH so GNAT will find them automatically.
They can also "with" any project file by means of its fully-qualified
file name if they so wish.

In particular, /usr/local is, by definition, for use by the system
administrator, and therefore falls outside the scope of any policy
defined by the operating system.  If you want GNAT to look in some
particular subdirectory of /usr/local, then use ADA_PROJECT_PATH or
"with" the fully qualified file name of your project files.

So, what exactly is the problem?

-- 
Ludovic Brenta.