Re: Erroneous installation for GPRBuild on Ubuntu ?

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

Yannick Duchêne wrote on comp.lang.ada:
> I had a look at “/usr/share/gprconfig”, and found a configuration
> file for GNAT, so looks like its all there [...]

This is what led me to believe you were using the official Debian
package for gprbuild.  If you were not, you made a mistake.  The
Debian packaging system owns /, /usr, /lib etc and all files under
these directories are under the control of dpkg.  If you place files
there manually, you're in for trouble. See
http://www.debian.org/releases/stable/i386/ch08s03.html.en

Per the Filesystem Hierarchy standard, the proper place for software
that you compile yourself is /usr/local.  So, the gprbuild
configuration files should be in /usr/local/share/gprconfig.  Most GNU
packages use /usr/local as the default installation path when you call
configure.  Your $PATH should contain /usr/local/bin by default and
$LD_LIBARY_PATH may contain /usr/local/lib.

Alternately, you can use /opt/$PACKAGE but then you have to adjust
your $PATH and other variables.

--
Ludovic Brenta.