On 11/16/16 12:48 PM, L A Walsh wrote:
> ---
> I suspected as much, which makes these settings all the
> more important ... these 2 things:
>
>
> 1) How is the location for readline-7.0 specified?
Using the --with-installed-readline argument to `configure'. Configure
assumes that you want to use the default version of readline installed in
some library directory, the prefix for which you specify as an argument
to this option. So, for instance, if you have installed readline-7.0
(either by yourself or using some package manager) in
/usr/local/gnu/lib/libreadline.a, you can run
configure --with-installed-readline=/usr/local/gnu
to have bash link with that version instead of the one in the bash source
tree.
This is, admittedly, oriented towards users and distros who want bash to
use a system version of readline instead of its private copy. That was
the reason it was added.
If you want to roll your own build using some other directory, you can set
the make variables
RL_LIBDIR
and
RL_LIBSRC
which are the build and source directories for your local version of
readline, respectively.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
