You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Suggested fix sounds good, the error message could be:
Error: File "platform/dynhost" does not exist.
Tip: Perhaps you intended to use a prebuilt platform? Try again with for example; `roc build your_file.roc --prebuilt-platform`.
Steps to reproduce:
git clone https://github.com/lukewilliamboswell/roc-platform-template-c
roc run build.roc
roc build app.roc
Error When Building C Platform: failed to open file "platform/dynhost": No such file or directory (os error 2)
This could probably be repoduced different ways, without using the roc-plaftform-c repo.
Steps to fix:
Catch the error, possibly suggest trying the -prebuilt-platform.
see: #6814
The text was updated successfully, but these errors were encountered: