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

Updating libadalang2xml to 1.0.2. #1001

Merged
merged 1 commit into from
Feb 19, 2024
Merged

Updating libadalang2xml to 1.0.2. #1001

merged 1 commit into from
Feb 19, 2024

Conversation

simonjwright
Copy link
Contributor

This release updates the year-old documentation in 1.0.0 to better address macOS issues, mainly by suggesting how to deal with the standard langkit_support & libadalang crates, and offering a mcOS-specific alternative.

This release updates the year-old documentation in 1.0.0 to better
address macOS issues, mainly by suggesting how to deal with the
standard langkit_support & libadalang crates, and offering a
mcOS-specific alternative.
@simonjwright
Copy link
Contributor Author

simonjwright commented Feb 17, 2024

The MacPorts and alr-dev/macos-latest runs failed for the reason stated in the long-description in the manifest: you have to do a relocatable build to avoid gprbuild trying to use facilities not available in Darwin mach-o object format.

The alire toolchain/macos-latest run "succeeded" - actually was skipped - because alr 1.2.2 doesn’t know how to load libgmp using Homebrew.

@mosteo mosteo merged commit 1300ee3 into alire-project:stable-1.2.1 Feb 19, 2024
13 of 15 checks passed
@simonjwright simonjwright deleted the libadalang2xml branch February 19, 2024 17:16
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.

2 participants