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 75