Skip to content

docs: pass project manifest to miden build - #223

Open
huklaa wants to merge 2 commits into
0xMiden:mainfrom
huklaa:docs/fix-miden-build-input
Open

docs: pass project manifest to miden build#223
huklaa wants to merge 2 commits into
0xMiden:mainfrom
huklaa:docs/fix-miden-build-input

Conversation

@huklaa

@huklaa huklaa commented Aug 10, 2026

Copy link
Copy Markdown

Fixes #210.

Updates the Miden Bank quick-start README and Part 0 setup guide to pass miden-project.toml explicitly to miden build, matching the maintainer guidance in #210 for toolchains where miden build invokes midenc directly.

This keeps the existing miden workflow while avoiding the expected input file failure.

@huklaa huklaa changed the title docs: pass project manifest to miden build in bank README docs: pass project manifest to miden build Aug 10, 2026
@TomasArrachea

Copy link
Copy Markdown

Once 0xMiden/midenup#234 lands on midenup, this will no longer be necessary. Users should use miden build directly instead of having to specify the input file.

huklaa commented Aug 12, 2026

Copy link
Copy Markdown
Author

Thanks, that makes sense. I’ll leave #223 open while 0xMiden/midenup#234 is still pending, and close this PR once that lands if the docs change is fully redundant.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

miden build fails with "expected input file", but the getting-started tutorial recommends it

2 participants