Message: 4 Date: Fri, 8 Jun 2007 00:17:26 +0200 From: Adam Lackorzynski adam@os.inf.tu-dresden.de Subject: Re: Verify Fiasco assertion using pingpong To: l4-hackers@os.inf.tu-dresden.de Message-ID: 20070607221726.GN14071@os.inf.tu-dresden.de Content-Type: text/plain; charset=iso-8859-1
On Thu Jun 07, 2007 at 13:17:09 +0200, eschierb@sci.kun.nl wrote:
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 "
When being in the l4 directory, does calling ../dice/src/dice work or not? I.e. is there a dice binary?
Adam
Calling ../dice/src/dice does work so there is a DICE binary, but when I call "make O=/tmp/build" in the l4 directory I still get the following error:
if [ -r ../dice/Makefile.drops ]; then \ make -C ../dice -f Makefile.drops; \ fi make[1]: Entering directory `/tmp/tudos/dice' ../l4/mk/Makeconf:155: Sorry, your object or source path became garbled. ../l4/mk/Makeconf:156: OBJ_BASE: /tmp/build ../l4/mk/Makeconf:157: SRC_BASE_ABS: /tmp/tudos/l4 ../l4/mk/Makeconf:158: SRC_DIR: /tmp/tudos/dice ../l4/mk/Makeconf:159: OBJ_DIR: /tmp/tudos/dice ../l4/mk/Makeconf:160: PKGDIR: ../l4/mk/Makeconf:161: L4DIR_ABS: /tmp/tudos/l4 ../l4/mk/Makeconf:162: PKGDIR_ABS: ../l4/mk/Makeconf:163: PKGDIR_OBJ: /tmp/tudos/dice ../l4/mk/Makeconf:164: *** Please investigate.. Stop. make[1]: Leaving directory `/tmp/tudos/dice' make: *** [../dice] Error 2