Maneage - Tasks: task #15756, Robustly decide which OS we are on
You are not allowed to post comments on this tracker with your current authentication level.
task #15756: Robustly decide which OS we are on
Submitter: | Boud Roukema <boud> | ||
Submitted: | Thu 20 Aug 2020 02:50:29 PM UTC | ||
Should Start On: | Thu 20 Aug 2020 12:00:00 AM UTC | Should be Finished on: | Thu 20 Aug 2020 12:00:00 AM UTC |
Category: | None | Priority: | 5 - Normal |
Status: | None | Privacy: | Public |
Percent Complete: | 0% | Assigned to: | None |
Open/Closed: | Open | Effort: | 0.00 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
No changes have been made to this item
In commit 9573d4e of maneage, in file reproduce/software/shell/configure.sh , we presently have
preceded by a warning that we should do better. :)
At https://ss64.com/osx/uname.html I see that uname -s on OSX seems to print the operating system name, not the kernel name.
Here's a stackoverflow recommended script plus discussion: https://stackoverflow.com/questions/714100/os-detecting-makefile
I think that as a minimum, we should check that "Darwin" is the OS https://en.wikipedia.org/wiki/Darwin_%28operating_system%29 , and report a failure to detect the OS if both Linux and Darwin fail. That way we'll get more useful error reports for encouraging updates/extensions in portability/reproducibility.
As a matter of principle, we should be able to run on GNU/Hurd, which is not a Linux system... :)