Skip to content

Remove the winch-tools crate and CLI#8248

Merged
alexcrichton merged 1 commit intobytecodealliance:mainfrom
alexcrichton:remove-winch-executable
Mar 27, 2024
Merged

Remove the winch-tools crate and CLI#8248
alexcrichton merged 1 commit intobytecodealliance:mainfrom
alexcrichton:remove-winch-executable

Conversation

@alexcrichton
Copy link
Member

With all Winch tests moved to tests/disas in #8243 plus the support of wasmtime compile -C compiler=winch this tool should in theory be supplanted nowadays with other alternatives. This commit removes the executable and the winch-filetests support.

With all Winch tests moved to `tests/disas` in bytecodealliance#8243 plus the support of
`wasmtime compile -C compiler=winch` this tool should in theory be
supplanted nowadays with other alternatives. This commit removes the
executable and the `winch-filetests` support.
@alexcrichton alexcrichton requested review from a team as code owners March 27, 2024 15:18
@alexcrichton
Copy link
Member Author

I'll note that I'm not wed to this at all, and @saulecabrera or @elliottt or others find this tool useful I'm happy to close this. This can mostly be seen as asking the question of "with today's integration of Winch, is this executable still needed?"

Copy link
Member

@saulecabrera saulecabrera left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense to me. I don't have any particular concerns with removing this crate. Personally I feel that this crate was mostly useful in the early days when Winch was not fully integrated with Wasmtime, then it was mostly kept around for filetests.

@github-actions github-actions bot added the winch Winch issues or pull requests label Mar 27, 2024
@github-actions
Copy link

Subscribe to Label Action

cc @saulecabrera

Details This issue or pull request has been labeled: "winch"

Thus the following users have been cc'd because of the following labels:

  • saulecabrera: winch

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

@alexcrichton alexcrichton added this pull request to the merge queue Mar 27, 2024
Merged via the queue into bytecodealliance:main with commit d5bf9b4 Mar 27, 2024
@alexcrichton alexcrichton deleted the remove-winch-executable branch March 27, 2024 17:29
saulecabrera added a commit to saulecabrera/wasmtime that referenced this pull request Apr 10, 2024
This commit is a follow-up to bytecodealliance#8248, in which the `winch-tools`  tool was removed. 

It's in my todo list to follow-up with a PR with more in-deptch documentation about Winch.
github-merge-queue bot pushed a commit that referenced this pull request Apr 10, 2024
This commit is a follow-up to #8248, in which the `winch-tools`  tool was removed. 

It's in my todo list to follow-up with a PR with more in-deptch documentation about Winch.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

winch Winch issues or pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants