Dockerfile for dev environment missing

[msinkec]

Preliminary Checks

• [X] This issue is not a duplicate. Before opening a new issue, please search existing issues: https://github.com/MinaProtocol/mina/issues
• [X] This issue is not a question, feature request, RFC, or anything other than a bug report. Please post those things in GitHub Discussions: https://github.com/MinaProtocol/mina/discussions

Description

The Docker compose file /dev/docker-compose.yml is referring to a Dockerfile /dockerfiles/Dockerfile-toolchain which seems to be missing.

Steps to Reproduce

cd dev && make

Expected Result

Should build and set up a Docker container containing the development environment.

Actual Result

Fails because of missing Dockerfile: failed to solve: rpc error: code = Unknown desc = failed to solve with frontend dockerfile.v0: failed to read dockerfile: open /var/lib/docker/tmp/buildkit-mount400968706/Dockerfile-toolchain: no such file or directory make: *** [Makefile:2: all] Error 17

How frequently do you see this issue?

Always

What is the impact of this issue on your ability to run a node?

Blocker

Status

N/A

Additional information

No response

[shimkiv]

Hey @mimoo can you please take a look.

[jmikedupont2]

https://github.com/MinaProtocol/mina/blob/develop/dev/docker-compose.yml references Dockerfile-toolchain but it is no longer in the develop branch This version is there https://github.com/MinaProtocol/mina/blob/455ad0aaf8b3ed8d7072e56bdb5eb549d310d5d7/dockerfiles/Dockerfile-toolchain