--- asmcomp/arm/arch.ml.orig 2014-08-21 10:06:19 UTC +++ asmcomp/arm/arch.ml @@ -21,7 +21,7 @@ type fpu = Soft | VFPv2 | VFPv3_D16 | VF let abi = match Config.system with - "linux_eabi" | "freebsd" -> EABI + "linux_eabi" | "freebsd" | "bsdsunix" -> EABI | "linux_eabihf" -> EABI_HF | _ -> assert false