-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
update WASI submodule #3025
update WASI submodule #3025
Conversation
Thanks! FWIW the location of the |
Subscribe to Label Actioncc @kubkon
This issue or pull request has been labeled: "wasi"
Thus the following users have been cc'd because of the following labels:
To subscribe or unsubscribe from this label, edit the |
Thanks @alexcrichton! I'll give that another go, moving the submodule was motivated by errors I was seeing that looked like a variation of rust-lang/cargo#6745. I wasn't able to |
6d6d909
to
8667fd7
Compare
For reference, this is the error I am seeing after updating the WASI submodule. I believe it's because of the As alluded in my comment above, adding an |
Oh dear... I think there's probably three ways to fix this:
The easiest is probably the first one here, and the best is probably the 3rd, but that requires changes of how we integrate the WASI spec updates into this repository, since I think we rely on them existing in the |
Hm actually scratch that I don't think the I'd probably recommend just hacking around this by removing the |
This updates the WASI submodule, pulling in changes to the witx crate, now that there is a 0.9.1 version including some bug fixes. See WebAssembly/WASI#434 for more information.
8667fd7
to
85fdad5
Compare
This shouldn't be too hard to fix, but I see some special logic around |
Oh I'm going to mark this as "ready for review" since we're kinda already in the process of reviewing this work. 👍 |
295864c
to
ef23b7e
Compare
Oh no 😨 It seems it's our old friend again. I'm trying to find a way around this. I've tried... 1️⃣ Add This fails, with an error that looks like:
Not entirely sure why this happens, honestly? But it seems... wrong. 2️⃣ Add This doesn't change the error, AIUI this is the cargo issue I linked in a comment above. 3️⃣ Make This one feels like a non-starter, as we're instantly in a state of multiple workspace roots. |
This commit removes some items from the root manifest's workspace members array, and adds `witx-cli` to the root `workspace.exclude` array. The motivation for this stems from a cargo bug described in rust-lang/cargo#6745: `workspace.exclude` does not work if it is nested under a `workspace.members` path. See WebAssembly/WASI#438 for the underlying change to the WASI submodule which reorganized the `witx-cli` crate, and WebAssembly/WASI#398 for the original PR introducing `witx-cli`. See [this comment](bytecodealliance#3025 (comment)) for more details about the compilation errors, and failed alternative approaches that necessitated this change. N.B. This is not a functional change, these crates are still implicitly workspace members as transitive dependencies, but this will allow us to side-step the aforementioned cargo bug. Co-Authored-By: Alex Crichton <alex@alexcrichton.com>
This PR updates our assorted
witx
dependencies to 0.9.1, which includes an important bug fix. See WebAssembly/WASI#434 for more information.