gcc: Enable build for armv5tel.

diff --git a/gcc/gcc.nm b/gcc/gcc.nm
index 284e87a68e7bee8673388fd5836d82dd131ad6db..9588701d5202291859ae1bb593e6d48350a576c4 100644 (file)
--- a/gcc/gcc.nm
+++ b/gcc/gcc.nm
@@ -77,6 +77,10 @@ build
                configure_options = --with-arch=%{DISTRO_ARCH} --with-tune=generic
        end
 
+       if "%{DISTRO_ARCH}" == "armv5tel"
+               configure_options += --with-float=soft
+       end
+
        if "%{build_cloog_ppl}" == "1"
                configure_options += --with-cloog --with-ppl
        end