Quoting Martin Pohlack mp26@os.inf.tu-dresden.de:
eschierb@sci.kun.nl wrote:
[...]
"/bin/bash: did_not_find_dice___please_install_dice: command not found"
Did you build Dice? It got moved recently in the SVN from l4/tools/dice to tools/dice. I think you have to build it manually.
Cheers, Martin
I believe I did, by invoking the following commands:
" cd dice ./bootstrap ./configure ./make "