search for: e3b8742

...; 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 4223be4..e3b8742 100644 --- 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" | &quo...