Doesn't work with compilation database

[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.