Re: Installing .ads, best practices ?

[Simon Wright <simon@pushface.org>]

patrick@spellingbeewinnars.org writes:

> If we create our own C libraries on Linux(or similar posix) the best
> practice is to put the header in /usr/local/lib and not in /usr/lib
> where the original libraries installed by the package manager or at
> install time are located.
>
> On my system, most of the .ads spec files are located in:
> /usr/lib/gcc/x86_64-linux-gnu/4.6/rts-native/adainclude/

4.6? that's a bit ancient, isn't it?

> It doesn't seem to like a good idea to install my own spec files there
> for system wide use.

It would be a Very Bad Idea; that's the compiler's runtime.

When you say "for system wide use", do you mean that you want to make
your work available for other users of the system? or that you want to
avoid confusing other users of the system? (if there are any, of
course!)

> Would /usr/local/include be better? Do you use something like this? If
> so, do you have an environmental variable in your.bashrc so that
> gnatmake finds it without passing an argument ?

If this is just for yourself, I would:

a) learn how to use GNAT projects (.gpr)
b) use gprbuild instead of gnatmake
c) use gprinstall to install in a standard place; if you say
     gprinstall -p -P mylibrary.gpr --prefix=/usr/local
   then a reworked version of mylibrary.gpr will be installed in
   /usr/local/share/gpr/, with other files in appropriate places
   (e.g. /usr/local/include/mylibrary/, /usr/local/lib/mylibrary/)
d) add 'export ADA_PROJECT_PATH=/usr/local/share/gpr' to ~/.bashrc