another FLIPS build problem

Norman Feske nf2 at inf.tu-dresden.de
Thu Jun 8 13:30:09 CEST 2006


Hi David,

> However, here I am again. This time I am getting the
> following message when the the make command attempts
> to install l4dope. I have already checked out the dope
> module.
> 
> .... help :(

...

> /bin/bash:
> ../../../../../../tool/gen_dopecode/gen_dopecode: No
> such file or directory

As indicated by this error message, l4/tool/gen_dopecode is
missing. This tool is used by some DOpE clients to convert
DOpE ascii commands into C code. You may simply checkout
the corresponding directory.

   cd l4/tool
   cvs up -d gen_dopecode

Then, try to continue your build by issuing 'make cont'
in the l4/pkg directory.

Regards
Norman




More information about the l4-hackers mailing list