1## @file 2# Standard C library: Software floating point Library. 3# 4# Copyright (c) 2014, ARM Ltd. All rights reserved. 5# 6# This program and the accompanying materials 7# are licensed and made available under the terms and conditions of the BSD License 8# which accompanies this distribution. The full text of the license may be found at 9# http://opensource.org/licenses/bsd-license.php. 10# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 11# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 12# 13# 14## 15 16[Defines] 17 INF_VERSION = 0x00010005 18 BASE_NAME = LibSoftfloat 19 FILE_GUID = e9f4b929-ee33-4b70-8e90-17d283af508c 20 MODULE_TYPE = UEFI_APPLICATION 21 VERSION_STRING = 1.0 22 LIBRARY_CLASS = LibSoftfloat 23 24# 25# VALID_ARCHITECTURES = ARM AARCH64 26# 27 28# Only tested with GCC 29# Look at the Makefile.inc file from NetBSD to see how to build 30 31[Sources.ARM] 32 bits32/softfloat.c 33 Arm/__aeabi_dcmpeq.c 34 Arm/__aeabi_fcmpeq.c 35 Arm/__aeabi_dcmpge.c 36 Arm/__aeabi_fcmpge.c 37 Arm/__aeabi_dcmpgt.c 38 Arm/__aeabi_fcmpgt.c 39 Arm/__aeabi_dcmple.c 40 Arm/__aeabi_fcmple.c 41 Arm/__aeabi_dcmplt.c 42 Arm/__aeabi_fcmplt.c 43 Arm/__aeabi_dcmpun.c 44 Arm/__aeabi_fcmpun.c 45 46[Sources.AARCH64] 47 bits64/softfloat.c 48 eqtf2.c 49 getf2.c 50 gttf2.c 51 letf2.c 52 lttf2.c 53 netf2.c 54 55[Sources] 56 fpgetround.c 57 fpsetround.c 58 fpgetmask.c 59 fpsetmask.c 60 fpgetsticky.c 61 fpsetsticky.c 62 63[Packages] 64 StdLib/StdLib.dec 65 StdLibPrivateInternalFiles/DoNotUse.dec 66 MdePkg/MdePkg.dec 67 68################################################################ 69# The Build Options, below, are only used when building the C library. 70# DO NOT use them when building your application! 71# Nasty things could happen if you do. 72 73[BuildOptions] 74 GCC:*_*_*_CC_FLAGS = -DSOFTFLOAT_FOR_GCC -Wno-enum-compare -fno-tree-vrp -fno-lto 75