failure installing CVS pistachio user

Nick Brown nickbroon at
Mon Jan 31 22:50:58 CET 2005

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.


cd ~/Software
mkdir source
mkdir -p build/pistachio/
mkdir install
cd source
cvs -d:pserver:guest at login
cvs -z3 -d:pserver:guest at co pistachio
cd ../build/pistachio
../../source/pistachio/user/configure --with-s0-linkbase=0x40000 
make install

<--- snipped --->
make[2]: Entering directory 
===> 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 
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 
[nicbrown at localhost pistachio]$

More information about the l4-hackers mailing list