configure cannot find headers for libreadline

Richard B. Kreckel kreckel at
Thu Jul 12 17:00:19 CEST 2001

On Thu, 12 Jul 2001, Chris Dams wrote:
> Well, I found the source of the problem. The result of looking for the
> headers is stored in the cache file of configure, so if you run configure,
> see that it cannot find a header file, set CPPFLAGS, run configure again,
> it does not do anything with the CPPFLAGS but it uses the cache file that
> says the header file is not present. sigh...
> The solution is saying somehting like
> ./configure --prefix=/home/thef/chrisd/c++ --cache-file=/dev/null

Alternatively, `make distclean' will `rm -f config.cache'.

Richard Kreckel
<Richard.Kreckel at Uni-Mainz.DE>

More information about the GiNaC-list mailing list