diff --git a/config/target.in b/config/target.in
index f9b152bc..78aa3bcf 100644
--- a/config/target.in
+++ b/config/target.in
@@ -14,6 +14,7 @@ config ARCH_SUPPORTS_WITH_ARCH
 config ARCH_SUPPORTS_WITH_ABI
 config ARCH_SUPPORTS_WITH_CPU
 config ARCH_SUPPORTS_WITH_TUNE
+config ARCH_SUPPORTS_WITH_FLOAT
 config ARCH_SUPPORTS_WITH_FPU
 config ARCH_SUPPORTS_SOFTFP
 
@@ -148,6 +149,9 @@ config ARCH_SUPPORTS_WITH_CPU
 config ARCH_SUPPORTS_WITH_TUNE
     bool
 
+config ARCH_SUPPORTS_WITH_FLOAT
+    bool
+
 config ARCH_SUPPORTS_WITH_FPU
     bool