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

alire_common.gpr: remove default host os to avoid mistakes on macOS #1298

Merged
merged 2 commits into from
Jan 31, 2023

Conversation

Fabien-Chouteau
Copy link
Member

With the default being Linux, macOS users will not notice any issue until they try to use the executable. Even then the issue will be obscure.

With the default being Linux, macOS users will not notice any issue until they try to use the executable.
Even then the issue will be obscure.
@Fabien-Chouteau
Copy link
Member Author

This might trigger some build issues...

@mosteo
Copy link
Member

mosteo commented Jan 19, 2023

Then I think it will be better to remove reliance on OS and having a default as well from alr_env.gpr. Better to make it explicit everywhere?

Note to self: this will require fixing the setup_alire action for the case of building a branch.

@mosteo mosteo force-pushed the no-default-host-os branch 2 times, most recently from 46bd760 to f1f438d Compare January 28, 2023 09:29
This should avoid misbuilds that mix Linux/macOS.

A bash function is now provided for detection of the OS in our scripts.
@mosteo
Copy link
Member

mosteo commented Jan 28, 2023

I've removed any guess attempts from alr_env.gpr too, and added a couple of bash functions for our use in tests/builds. Also reviewed a bit the README. Removed a couple of obsolete scripts and tweaked the rest.

I think we're good to go if you don't see any issue in my changes, @Fabien-Chouteau

@Fabien-Chouteau
Copy link
Member Author

Looks good to me 👍 Thanks for picking that up

@mosteo mosteo merged commit f9b34b5 into master Jan 31, 2023
@mosteo mosteo deleted the no-default-host-os branch January 31, 2023 10:39
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.

None yet

2 participants