recommended configure options for Haiku

[Bruno Haible]

Hi,

Ingo Weinhold, one of the developers of the Haiku OS, explained in [1] that on
this OS
  - /boot/common is the equivalent of /usr/local on Unix,
  - /boot/home/config is the equivalent of $HOME on Unix.

There is no /usr/local on this system; therefore the default $prefix used by
configure is not working. Here is a suggestion for telling the users of
GNU software on this OS.

[1] http://lists.gnu.org/archive/html/bug-gnulib/2008-11/msg00285.html


2008-12-22  Bruno Haible  <address@hidden>

        * doc/install.texi (Particular Systems): Add a recommendation which
        prefix to use on Haiku.

*** doc/install.texi.orig       2008-12-23 01:20:52.000000000 +0100
--- doc/install.texi    2008-12-23 01:20:07.000000000 +0100
***************
*** 215,220 ****
--- 215,227 ----
  of these programs are available in @code{/usr/bin}.  So, if you need
  @code{/usr/ucb} in your @env{PATH}, put it @emph{after} @code{/usr/bin}.
  
+ On Haiku, software installed for all users goes in @file{/boot/common},
+ not @file{/usr/local}.  It is recommended to use the following options:
+ 
+ @example
+ ./configure --prefix=/boot/common
+ @end example
+ 
  @node System Type
  @section Specifying the System Type