Skip to content

Doesn't work with compilation database #1

@sim642

Description

@sim642

Compilation databases have absolute paths for everything. If cmake is executed outside of Goblint's container (before this action), then the absolute paths in the compilation database are different from the ones inside the container and nothing can be found.

Moreover, the container does not contain gcc which the compilation database may refer to, so preprocessing would fail.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions