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.
Log contents are attached.
make: Entering directory '/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/build/x86_64'
checking library dependencies...
[00;33m Library [0mblit
[00;33m Library [0mldso_so_support
[00;33m Library [0mld
[00;33m Library [0mseoul_libc_support
[00;33m Library [0mbase
[01;33m Program [0mapp/seoul/seoul
COMPILE executor/halifax.o
COMPILE model/idecontroller.o
COMPILE model/intel82576vf.o
COMPILE model/ioapic.o
In file included from /media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instcache.h:269,
from /media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/halifax.cc:22:
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc: In member function ‘int InstructionCache::handle_code_byte(InstructionCacheEntry*, unsigned char, int&)’:
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2862:1: error: duplicate case value
2862 | case 0x38 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1724:1: note: previously used here
1724 | case 0x38:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2869:1: error: duplicate case value
2869 | case 0x28 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1604:1: note: previously used here
1604 | case 0x28:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2876:1: error: duplicate case value
2876 | case 0x20 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1544:1: note: previously used here
1544 | case 0x20:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2883:1: error: duplicate case value
2883 | case 0x18 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1486:1: note: previously used here
1486 | case 0x18:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2890:1: error: duplicate case value
2890 | case 0x10 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1428:1: note: previously used here
1428 | case 0x10:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2897:1: error: duplicate case value
2897 | case 0x08 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1371:1: note: previously used here
1371 | case 0x08:
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:2904:1: error: duplicate case value
2904 | case 0x00 & 0x38: { ;
| ^~~~
/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/instructions.inc:1313:1: note: previously used here
1313 | case 0x00:
| ^~~~
COMPILE model/irqrouting.o
make[2]: *** [/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/repos/base/mk/generic.mk:57: executor/halifax.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [var/libdeps:112: seoul.prg] Error 2
make: *** [Makefile:302: gen_deps_and_build_targets] Error 2
make: Leaving directory '/media/871ef7ab-e95b-4066-8cf7-8d7a11c1ca6f/genode-src/sculpt-21.05/build/x86_64'
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
