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

Rename the --ponyc option to the full-program-runner #4627

Merged
merged 1 commit into from
Feb 23, 2025

Conversation

SeanTAllen
Copy link
Member

All runtime options start with --pony so using --ponyc as an option for the program could result in a naming conflict later.

This renames from --ponyc to --compiler.

@SeanTAllen SeanTAllen requested a review from a team February 21, 2025 19:01
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 21, 2025
@SeanTAllen SeanTAllen force-pushed the rename-ponyc-flag branch 3 times, most recently from dec427b to 3a397f5 Compare February 21, 2025 20:00
@SeanTAllen
Copy link
Member Author

Not really sure what to say about the errors. @jemc this seems exactly like that "32-bit doing something weird, drop CI and only do "best effort support". I could try this on a 32-bit PI to see if also does this.

@SeanTAllen
Copy link
Member Author

I did a "local" test on my 32-bit arm environment and was unable to create the problem we are seeing in CI. I've opened a PR against main to update QEMU to the most recent version. If that passes, I'll merge it then rebase this against that and see if either a) the cache busting that flows from having a new image or b) the update QEMU fixes the issue.

All runtime options start with --pony so using --ponyc as an option
for the program could result in a naming conflict later.

This renames from `--ponyc` to `--compiler`.
@SeanTAllen
Copy link
Member Author

main is now using QEMU 6. I've rebased this against main to see if we get a different result.

@SeanTAllen
Copy link
Member Author

Looks like updating QEMU did the trick.

@SeanTAllen SeanTAllen merged commit 62fb3af into main Feb 23, 2025
26 checks passed
@SeanTAllen SeanTAllen deleted the rename-ponyc-flag branch February 23, 2025 18:40
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 23, 2025
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