app/seoul: build fails with several "duplicate case value" errors

Alexander Boettcher alexander.boettcher at genode-labs.com
Thu Aug 5 20:53:29 CEST 2021


Hello,

On 03.08.21 21:09, Joel Valenciano wrote:
> I use Arch Linux, so it may be too recent.
> 
> python says version "2.7.18", so I don't think that is the problem.
> 
> GCC says version "11.1.0", I think that's probably where the problem is.

indeed. I think it will be fixed with one of our next toolchain updates. You may try [0] as a workaround, which uses Genode's toolchain instead of the host one.

Hope it helps,

Alex.

[0] https://github.com/alex-ab/genode/commit/993404ade10bbf2a575f0a4d61ddff68f3175c68



> 
> On Tue, Aug 3, 2021, 1:42 PM Alexander Boettcher <
> alexander.boettcher at genode-labs.com> wrote:
> 
>> Hello,
>>
>> On 03.08.21 18:55, Joel Valenciano wrote:
>>> When trying to build seoul, I run into several "duplicate case value"
>>> errors in executor/instructions.inc. This error seems to occur with
>>> the upstream version as well, but I don't know what is causing it.
>>
>> On our side it is fine, seoul is build & run every night.
>>
>> The instruction.inc file is generated by an python script [0] during
>> prepare_port, which uses the host python2 and gcc toolchain. Maybe you have
>> an to old/new/unsupported setup, we have not encounter up to now.
>>
>> Which Linux distribution you are using, what are the versions of your
>> python2 and the host tool chain ?
>>
>> Cheers,
>>
>> Alex.
>>
>> [0]
>> genode/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/build_instructions.py
>> --
>> Alexander Boettcher
>> Genode Labs
>>
>> https://www.genodians.org - https://www.genode.org
>>
>> _______________________________________________
>> Genode users mailing list
>> users at lists.genode.org
>> https://lists.genode.org/listinfo/users
> 
> 
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users
> 

-- 
Alexander Boettcher
Genode Labs

https://www.genodians.org - https://www.genode.org



More information about the users mailing list