Subject: Re: 'readline.h' not installed
To: Todd Vierling <>
From: Markus Kilbinger <>
List: current-users
Date: 02/29/2000 00:57:38
>>>>> "Todd" == Todd Vierling <> writes:

    Todd> If you are going to upgrade from source, you must use the
    Todd> "make build" command from the top level of /usr/src. If you
    Todd> don't do this, necessary includes will not be installed
    Todd> properly. Additionally, it can result in miscompilation of
    Todd> binaries.

    Todd> I suggest you upgrade using binaries of the latest 1.4.x
    Todd> release, first. Then go to /usr/src, "make cleandir" (to get
    Todd> rid of your current build), and "make build".

my idea was to 'make build' only on one machine, but making 'make
install et al.' on all machines: Saving disk space and compilation
time. -> Would be a 'make includes && make install' sufficient for that?