Skip Menu |
 

From: Karl-Philipp Richter <richter@richtercloud.de>
To: krb5-bugs@mit.edu
Subject: Change default prefix to /usr/local/
Date: Tue, 9 Feb 2016 14:42:24 +0100
Running `./configure` without arguments causes the installation prefix
to be `/usr/` which doesn't comply the widley-used de-facto standard and
the Filesystem Hierarchy Standard afaik. It overwrites binaries
installed by package management systems, like `apt` on popular
Debian-based OS which is unnecessary trouble - and the reason why
de-facto standards or FHS exist.

experienced with 25c651a on Ubuntu 15.10 with Linux 4.3.3

-Kalle
Download signature.asc
application/pgp-signature 473B

Message body not shown because it is not plain text.

[richter@richtercloud.de - Tue Feb 9 13:06:44 2016]:
Show quoted text
> Running `./configure` without arguments causes the installation prefix
> to be `/usr/`

I just did a test configure on Ubuntu 15.10 and the prefix defaulted to
/usr/local, as I am used to and would expect. We certainly don't do
anything to intentionally change the autoconf default prefix.

Do you perhaps have a config.site file somewhere which is changing the
default?