[opensuse-packaging] armv7hl gnueabi vs. gnueabihf

The gccN.spec has the following lines: %if "%{TARGET_ARCH}" == "armv7hl" --with-arch=armv7-a \ --with-tune=cortex-a15 \ --with-float=hard \ --with-abi=aapcs-linux \ --with-fpu=vfpv3-d16 \ --disable-sjlj-exceptions \ %endif The rpm %configure macro runs "./configure --host=armv7hl-suse-linux-gnueabi --build=armv7hl-suse-linux-gnueabi". Also gccN.spec uses the 'gnueabi' suffix despite "--with-float=hard". In OCaml github issue #9431 it turned out third party software relies on a correct --build= value to produce correct binaries. Why do our armv7 builds use 'gnueabi' instead of 'gnueabihf' to indicate that hard floating point is the default? Olaf