make install fails, for the user side of pistachio that I've just checked out of CVS, with a missing header file. Below is what I did and the error message.
Thanks, Nick
cd ~/Software mkdir source mkdir -p build/pistachio/ mkdir install cd source cvs -d:pserver:guest@cvs.l4ka.org:/public-cvs login cvs -z3 -d:pserver:guest@cvs.l4ka.org:/public-cvs co pistachio cd ../build/pistachio ../../source/pistachio/user/configure --with-s0-linkbase=0x40000 --prefix=/home/nicbrown/Software/install make make install
<--- snipped ---> make[2]: Entering directory `/home/nicbrown/Software/build/pistachio/util/kickstart' ===> Installing util/kickstart/kickstart ../../../../source/pistachio/user/../tools/mkdirhier /home/nicbrown/Software/install/libexec/l4 /usr/bin/install -c kickstart /home/nicbrown/Software/install/libexec/l4/kickstart make[2]: Leaving directory `/home/nicbrown/Software/build/pistachio/util/kickstart' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/util' make[1]: Entering directory `/home/nicbrown/Software/build/pistachio/contrib' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/contrib' ===> Installing include files /usr/bin/install: cannot stat `l4/ia32/tracebuffer.h': No such file or directory [nicbrown@localhost pistachio]$