Skip to content

Possible outdated libstdc++-12-dev dependency #2678

@JuanCoRo

Description

@JuanCoRo

I tried building the semantics on my Ubuntu 24.04.1 laptop and during the blockchain plugin step

poetry -C kevm-pyk run kdist --verbose build evm-semantics.plugin

I was consistently getting errors of this sort:

INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde] ./config_cxx.h:37:10: fatal error: 'string' file not found
INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde]    37 | #include <string>
INFO 2025-01-13 18:37:39,970 pyk.utils - [PID=1491824][stde]       |          ^~~~~~~~

After much tinkering, I did

sudo apt-get install libstdc++-14-dev

and was able to build the plugin.

However, in the install-build-deps script we have the following dependency

libstdc++-12-dev \

Should it be updated to libstdc++-14-dev? I ran the install-build-deps during the debugging process and it didn't solve the issue.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions