l4-hackers Digest, Vol 50, Issue 7

[Erik Schierboom]

> 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.
>>>
>>> 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