Application for ArriaV: Support Hardware Floating Point

Hello, We are working with Altera SoC Arria V (armv7), using the development environment DS-5 version 18.1 that comes with GCC version 6.2.0 (Sourcery CodeBench Lite 2016.11-88) that was developed specifically for ArriaV. This environment contains the libraries (libgcc.a, libc.a, libcs3.a, libcs3unhosted.a, libcs3arm.a) objects, without the sources, which were built with the flag "-msoft-float". Until now, our software was built with the same flag "-msoft-float", and the linkage with the objects above worked. Now we need to use the Hardware Floating Point Unit, that means to rebuild our software with the "-mfpu=vfpv3 -mfloat-abi=hard" flags instead of the "-msoft-float" flag. The linkage with the objects above is not working, therefore we need the libraries objects built with the "-mfpu=vfpv3 -mfloat-abi=hard" flags. The libraries objects built with the HARDWARE Floating Point flags are missing. The environment DS-5 version 18.1 contains the document that states that the user is encouraged to rebuild these libraries, specifically for the case of HFP usage, using the tool “Sourcery™ CodeBench Lite ARM Altera EABI by Mentor A Siemens Business”. This tool comes with the libraries source code and the environment to rebuild them. According to this document, this tool is available by the link http://www.mentor.com/embedded-software/codesourcery. This link does not work. We need this tool in order to get the libraries above to be built with the HFP flags. Could you please help?