12 Jul
2001
12 Jul
'01
5 p.m.
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'. Regards -richy. -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>