build/setting/float.cfg

   1
   2 FLOAT_TYPE=(
   3         "$CFG_FLOAT_TYPE"
   4         ""
   5         no-float
   6         hard-float
   7         soft-float
   8         float-ieee
   9         float-vax
  10         float32
  11         float64
  12         single-float
  13         double-float
  14         soft-quad-float
  15         hard-quad-float
  16 )