Changing FOUNDRY_CACHE to true

runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License

16 stars 2 forks source link

Changing FOUNDRY_CACHE to true #5

Closed ACassimiro closed 6 months ago

ACassimiro commented 6 months ago

When setting FOUNDRY_CACHE to false, the build_info folder would not be generated, leading to issues during the debugging process on the Simbolik server.

RaoulSchaffranek commented 6 months ago

The problem is we cannot simply enable the caches because we don't support incremental builds on our side. The problem is with the source mapping: with incremental builds source-file ids are not unique anymore.

Can you try updating Foundry on your end and see if the error persists?

We reported this bug to Foundry a while ago and they fixed it.

https://github.com/foundry-rs/foundry/issues/6859

ACassimiro commented 6 months ago

@RaoulSchaffranek I updated my foundry version and executed the commands again. The build-info folder is being generated even when the FOUNDRY_CACHE flag value is false. I'll be closing this PR, then.