PR gcov-profile/51113
[official-gcc.git] / config / dfp.m4
blobcc778b19bbb22eec393895566b9526691412705d
1 dnl @synopsis GCC_AC_ENABLE_DECIMAL_FLOAT([target triplet])
2 dnl
3 dnl Enable C extension for decimal float if target supports it.
4 dnl
5 dnl @author Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
7 AC_DEFUN([GCC_AC_ENABLE_DECIMAL_FLOAT],
9 AC_ARG_ENABLE(decimal-float,
10 [  --enable-decimal-float={no,yes,bid,dpd}
11                         enable decimal float extension to C.  Selecting 'bid'
12                         or 'dpd' choses which decimal floating point format
13                         to use],
15   case $enable_decimal_float in
16     yes | no | bid | dpd) default_decimal_float=$enable_decimal_float ;;
17     *) AC_MSG_ERROR(['$enable_decimal_float' is an invalid value for --enable-decimal-float.
18 Valid choices are 'yes', 'bid', 'dpd', and 'no'.]) ;;
19   esac
22   case $1 in
23     powerpc*-*-linux* | i?86*-*-linux* | x86_64*-*-linux* | s390*-*-linux* | \
24     i?86*-*-mingw* | x86_64*-*-mingw* | \
25     i?86*-*-cygwin*)
26       enable_decimal_float=yes
27       ;;
28     *)
29       AC_MSG_WARN([decimal float is not supported for this target, ignored])
30       enable_decimal_float=no
31       ;;
32   esac
35 # x86's use BID format instead of DPD
36 case x$enable_decimal_float in
37   xyes)
38     case $1 in
39       i?86*-*-* | x86_64*-*-*)
40         enable_decimal_float=bid
41         ;;
42       *)
43         enable_decimal_float=dpd
44         ;;
45     esac
46     default_decimal_float=$enable_decimal_float
47     ;;
48   xno)
49     # ENABLE_DECIMAL_FLOAT is set to 0. But we have to have proper
50     # dependency on libdecnumber.
51     default_decimal_float=dpd
52     ;;
53 esac
54 AC_SUBST(enable_decimal_float)