diff --git a/stats/config/discover.ml b/stats/config/discover.ml index d5db01e1..24346515 100644 --- a/stats/config/discover.ml +++ b/stats/config/discover.ml @@ -37,9 +37,9 @@ let () = C.main ~name:"libnl-3-pkg-config" (fun c -> match C.ocaml_config_var_exn c "system" with | "freebsd" -> freebsd c + | "linux_elf" (* Historically, x86_32 *) + | "linux_eabihf" (* Historically, arm32 *) + | "elf" (* Historically, ppc64 & s390x *) | "linux" -> linux c - | "linux_elf" -> linux c (* x86_32 *) - | "linux_eabihf" -> linux c (* arm32 *) - | "elf" -> linux c (* ppc64 & s390x *) | "macosx" -> niet c (* skip *) | os -> failwith ("Unsupported platform: "^os))