Investigate Hardhat dependencies in Foundry projects

runtimeverification / kontrol

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

44 stars 5 forks source link

Investigate Hardhat dependencies in Foundry projects #684

Open palinatolmach opened 1 month ago

palinatolmach commented 1 month ago

Follow up to https://github.com/runtimeverification/kontrol/pull/682.

Having some Hardhat-based dependencies in Foundry projects causes issues such as the one above when running kontrol build. One example of such a repository is Optimism SDK, which can be installed via npm install @eth-optimism/sdk.

palinatolmach commented 1 month ago

I can't reproduce the problem locally. If I npm install @eth-optimism/sdk and import a contract from it, forge build generates a Kontrol-readable file for this contract in the /out folder, and kontrol build works well. The issue might be specific to the project configuration, I'm moving this issue to Blocked until we're able to learn more details.