Skip to content
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

add wasi-sdk-p2.cmake #430

Merged
merged 1 commit into from
Jun 20, 2024
Merged

Conversation

dicej
Copy link
Contributor

@dicej dicej commented Jun 18, 2024

This is analogous to wasi-sdk.cmake and wasi-sdk-pthread.cmake, but for WASIp2.

@@ -0,0 +1,40 @@
# Cmake toolchain description file for the Makefile

Choose a reason for hiding this comment

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

the file needs to be moved into the docker folder

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ah, thanks for pointing that out. TIL there are two versions of each of the wasi-sdk*.cmake files.

This is analogous to wasi-sdk.cmake and wasi-sdk-pthread.cmake, but for WASIp2.

Signed-off-by: Joel Dice <joel.dice@fermyon.com>
@dicej dicej force-pushed the wasi-sdk-p2-cmake branch from d04f3dc to ad0e3bc Compare June 20, 2024 14:16
Copy link
Collaborator

@alexcrichton alexcrichton left a comment

Choose a reason for hiding this comment

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

FWIW I've fixed the duplication issue at #429, although there's still duplication between each of the wasi-*.cmake files, but that seems more minor.

@alexcrichton alexcrichton enabled auto-merge (squash) June 20, 2024 15:25
@alexcrichton alexcrichton merged commit 7ff81cb into WebAssembly:main Jun 20, 2024
5 checks passed
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.

3 participants