diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-01 23:27:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 23:27:21 +0100 |
| commit | 7b83039885d2d3051726f93760d3f8f2a617b8f2 (patch) | |
| tree | 29dea6717b572dd2ef58375d9a761d0845cc5f53 /platform/linuxbsd/detect.py | |
| parent | 0fbf53dbc5cb07835b3afcf00bd2a20f780d09a6 (diff) | |
| parent | 3a84a64d2fd600e68ee3e54a5fbc12347e9b2f9f (diff) | |
Merge pull request #54490 from q66/ppc
Diffstat (limited to 'platform/linuxbsd/detect.py')
| -rw-r--r-- | platform/linuxbsd/detect.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/platform/linuxbsd/detect.py b/platform/linuxbsd/detect.py index a9e8fb64c3..07e16a982b 100644 --- a/platform/linuxbsd/detect.py +++ b/platform/linuxbsd/detect.py @@ -119,8 +119,16 @@ def configure(env): if env["bits"] == "default": env["bits"] = "64" if is64 else "32" - if env["arch"] == "" and platform.machine() == "riscv64": - env["arch"] = "rv64" + machines = { + "riscv64": "rv64", + "ppc64le": "ppc64", + "ppc64": "ppc64", + "ppcle": "ppc", + "ppc": "ppc", + } + + if env["arch"] == "" and platform.machine() in machines: + env["arch"] = machines[platform.machine()] if env["arch"] == "rv64": # G = General-purpose extensions, C = Compression extension (very common). |