Add hppa, hppa64, ppc64el architectures

Gbp-Pq: Name 0001-Add-hppa-hppa64-ppc64el-architectures.patch

diff --git a/src/kernel.ml b/src/kernel.ml
index 356ac4bfa2a1ca96896b44d45ca8016e3b42cb05..9b0e8a20b358042af2692b482164c2472b0697e8 100644 (file)
--- a/src/kernel.ml
+++ b/src/kernel.ml
@@ -30,6 +30,8 @@ let patt_of_cpu host_cpu =
     | "ppc" | "powerpc" | "powerpc64" -> ["ppc"; "powerpc"; "powerpc64"]
     | "sparc" | "sparc64" -> ["sparc"; "sparc64"]
     | "amd64" | "x86_64" -> ["amd64"; "x86_64"]
+    | "parisc" | "parisc64" -> ["hppa"; "hppa64"]
+    | "ppc64el" -> ["powerpc64le"]
     | _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"]
     | _ when String.length host_cpu >= 5 && String.sub host_cpu 0 5 = "armv7" ->  ["armmp"]
     | _ -> [host_cpu]

diff --git a/src/utils.ml b/src/utils.ml
index 4223be47df862fe5d1970ef6f5252461ec719c16..e3b8742942fcfc1e0b6738da3ad3a7f59a72be74 100644 (file)
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -183,6 +183,8 @@ let compare_architecture a1 a2 =
     | a when string_prefix "armv6" a -> 32
     | a when string_prefix "armv7" a -> 32
     | a when string_prefix "armv8" a -> 64
+    | "hppa" | "parisc" -> 32
+    | "hppa64" | "parisc64" -> 64
     | "ppc" | "ppc32" -> 32
     | a when string_prefix "ppc64" a -> 64
     | "sparc" | "sparc32" -> 32