l4-hackers Digest, Vol 50, Issue 7
eschierb at sci.kun.nl
Fri Jun 8 13:17:52 CEST 2007
> Message: 4
> Date: Fri, 8 Jun 2007 00:17:26 +0200
> From: Adam Lackorzynski <adam at os.inf.tu-dresden.de>
> Subject: Re: Verify Fiasco assertion using pingpong
> To: l4-hackers at os.inf.tu-dresden.de
> Message-ID: <20070607221726.GN14071 at os.inf.tu-dresden.de>
> Content-Type: text/plain; charset=iso-8859-1
> On Thu Jun 07, 2007 at 13:17:09 +0200, eschierb at sci.kun.nl wrote:
>> Quoting Martin Pohlack <mp26 at os.inf.tu-dresden.de>:
>>> eschierb at 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.
>> I believe I did, by invoking the following commands:
>> cd dice
> When being in the l4 directory, does calling
> work or not? I.e. is there a dice binary?
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
if [ -r ../dice/Makefile.drops ]; then \
make -C ../dice -f Makefile.drops; \
make: 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:161: L4DIR_ABS: /tmp/tudos/l4
../l4/mk/Makeconf:163: PKGDIR_OBJ: /tmp/tudos/dice
../l4/mk/Makeconf:164: *** Please investigate.. Stop.
make: Leaving directory `/tmp/tudos/dice'
make: *** [../dice] Error 2
More information about the l4-hackers