Re: Building Genode on Fiasco.OC - problem

[Stefan K. <ste...@ge...>]

Hello,

You just have to install the binary-version of our tool-chain (actually
it's only gcc and binutils configured to our needs) from here:

  http://sourceforge.net/projects/genode/files/genode-toolchain

Just download the archive and unpack it as root under '/'. It will
install all necessary stuff under '/usr/local/genode-gcc'.

Regards
Stefan


On 04/12/2011 11:12 PM, Guess Who? wrote:
> Stefan,
> 
>  Thanks for your answer. I did it and got further along. In trying to
> build the Genode component I get this result; what am I missing?
> 
> Thanks,
> Chance
> 
> 
> ~/Fiasco/Genode-build $ make
> checking library dependencies for ....
> Skip target test/rm_nested because it requires experimental
> Skip target app/xvfb because it requires linux x11 xtest xdamage
> Skip target test/timer_accuracy because it requires linux
> Skip target test/xev_track because it requires host x11 xtest xdamage
> Skip target drivers/nic/linux because it requires linux
> Skip target drivers/framebuffer/fiasco_ux because it requires fiasco
> Skip target drivers/framebuffer/sdl because it requires linux sdl
> Skip target drivers/timer/nova because it requires nova
> Skip target drivers/timer/linux because it requires linux
> Skip target drivers/timer/okl4_arm because it requires okl4 arm
> Skip target drivers/timer/codezero because it requires codezero
> Skip target drivers/timer/fiasco because it requires fiasco
> Skip target drivers/timer/okl4_x86 because it requires okl4
> Skip target drivers/timer/pistachio because it requires pistachio
> Skip target drivers/platform/gta01 because it requires platform_gta01
> Skip target drivers/platform/versatilepb because it requires
> platform_versatilepb
> Skip target drivers/input/ps2/pl050 because it requires pl050
> Skip target drivers/input/fiasco_ux because it requires fiasco
> Skip target drivers/audio_out/linux because it requires linux
> Skip target ldso/arm because it requires arm
> Skip target ldso/x86_64 because it requires 64bit
>   Library slab
>     COMPILE  slab.o
> /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or
> directory
> make[2]: *** [slab.o] Error 127
> make[1]: *** [slab.lib] Error 2
> make: *** [gen_deps_and_build_targets] Error 2
> 
> On 4/12/2011 4:23 PM, Stefan Kalkowski wrote:
>> Hello,
>>
>> I think this is no problem related to Genode or L4Re, but your
>> environment isn't prepared to cross-compile for 32bit. You've to install
>> a multi-arch prepared gcc/g++ and necessary libaries for 32bit.
>>
>> If you use Ubuntu just install:
>>
>>    sudo apt-get install gcc-multilib g++-multilib ia32-libs
>>
>> To successfully compile L4Re, please re-create its build-directory
>> before trying it again.
>>
>> Regards
>> Stefan
>>
>> On 04/12/2011 08:49 PM, Guess Who? wrote:
>>> I followed the instructions on "Genode on Fiasco.OC"
>>> (http://genode.org/community/wiki/GenodeOnFiascoOC)  and ran into a
>>> problem.  When I got to the step to building L4Re I got the following:
>>>
>>> *** No rule to make target '.../lib32/crtendS.o', needed by
>>> 'libl4sys.so'.
>>>
>>> I am building this on an x86_64 system, and I am sure it is looking for
>>> a 32-bit obj on a 64 bit system. Does anyone know how to fix this
>>> problem?
>>>
>>> Peace,
>>> Chance
>>>
>>> ------------------------------------------------------------------------------
>>>
>>> Forrester Wave Report - Recovery time is now measured in hours and
>>> minutes
>>> not days. Key insights are discussed in the 2010 Forrester Wave
>>> Report as
>>> part of an in-depth evaluation of disaster recovery service providers.
>>> Forrester found the best-in-class provider in terms of services and
>>> vision.
>>> Read this report now!  http://p.sf.net/sfu/ibm-webcastpromo
>>> _______________________________________________
>>> Genode-main mailing list
>>> Gen...@li...
>>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>>
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth