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

Alexander Boettcher alexander.boettcher at
Tue Aug 3 20:42:25 CEST 2021


On 03.08.21 18:55, Joel Valenciano wrote:
> When trying to build seoul, I run into several "duplicate case value"
> errors in executor/ 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 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 ?



[0] genode/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/
Alexander Boettcher
Genode Labs -

More information about the users mailing list