diff --git a/src/lib.rs b/src/lib.rs index 7f7b358..d70de88 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -519,6 +519,10 @@ impl Config { } if target.starts_with("thumbv7em") { cmd.args.push("-march=armv7e-m".into()); + + if target.ends_with("eabihf") { + cmd.args.push("-mfpu=fpv4-sp-d16".into()) + } } if target.starts_with("thumbv7m") { cmd.args.push("-march=armv7-m".into());