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
[email protected]
https://lists.genode.org/listinfo/users

Reply via email to