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.
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
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.
On Tue, Aug 3, 2021, 1:42 PM Alexander Boettcher < alexander.boettcher@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@lists.genode.org https://lists.genode.org/listinfo/users
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/993404ade10bbf2a575f0a4d61ddff68f31...
On Tue, Aug 3, 2021, 1:42 PM Alexander Boettcher < alexander.boettcher@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@lists.genode.org https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Hello, I completely missed that last reply; I'm not used to checking mailing lists, but I can't believe I just now saw it.
Soon after I sent the original email, I saw that adding "-moperand-check=error" to the "as" command fixes the issue; apparently one of the patterns generates an invalid opcode for several arithmetic instructions, though I tried the original command in a Debian vm and it worked fine there.
But I do appreciate the help, and that honestly might be a better solution.
On Thu, Aug 5, 2021 at 1:53 PM Alexander Boettcher alexander.boettcher@genode-labs.com wrote:
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/993404ade10bbf2a575f0a4d61ddff68f31...
On Tue, Aug 3, 2021, 1:42 PM Alexander Boettcher < alexander.boettcher@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@lists.genode.org https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-- Alexander Boettcher Genode Labs
https://www.genodians.org - https://www.genode.org
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users