15 |
|
AC_ARG_ENABLE(fpe, |
16 |
|
[ --enable-fpe=which specify which fpu emulator to use [default=opt]], |
17 |
|
[ case "$enableval" in |
18 |
< |
default) FPE_CORE="default";; dnl fpu_x86.cpp if i386 architecture, fpu_uae.cpp otherwise |
18 |
> |
dnl default is fpu_x86.cpp if i386 architecture, fpu_uae.cpp otherwise |
19 |
> |
default) FPE_CORE="default";; |
20 |
> |
ieee) FPE_CORE="ieee";; |
21 |
|
uae) FPE_CORE="uae";; |
22 |
< |
*) AC_MSG_ERROR([--enable-fpe takes only one of the following values: default, uae]);; |
22 |
> |
*) AC_MSG_ERROR([--enable-fpe takes only one of the following values: default, uae, ieee]);; |
23 |
|
esac |
24 |
|
], |
25 |
|
[ FPE_CORE="default" |
223 |
|
AC_CHECK_SIZEOF(int, 4) |
224 |
|
AC_CHECK_SIZEOF(long, 4) |
225 |
|
AC_CHECK_SIZEOF(long long, 8) |
226 |
+ |
AC_CHECK_SIZEOF(float, 4) |
227 |
+ |
AC_CHECK_SIZEOF(double, 8) |
228 |
+ |
AC_CHECK_SIZEOF(long double, 12) |
229 |
|
AC_CHECK_SIZEOF(void *, 4) |
230 |
|
AC_TYPE_OFF_T |
231 |
|
AC_CHECK_TYPE(loff_t, off_t) |
835 |
|
fi |
836 |
|
|
837 |
|
dnl Select appropriate FPU source. |
838 |
< |
dnl 1. Optimized X86 assembly core if target is i386 architecture |
838 |
> |
dnl 1. Optimized X86 assembly core if target is i386 architecture. |
839 |
|
SAVED_DEFINES=$DEFINES |
840 |
|
if [[ "x$FPE_CORE" = "xdefault" ]]; then |
841 |
|
if [[ "x$HAVE_GCC27" = "xyes" -a "x$HAVE_I386" = "xyes" -a "x$HAVE_GAS" = "xyes" ]]; then |
856 |
|
DEFINES=$SAVED_DEFINES |
857 |
|
fi |
858 |
|
|
859 |
< |
dnl 3. Choose either IEEE-based implementation or the old UAE core |
859 |
> |
dnl 3. Choose either IEEE-based implementation or the old UAE core. |
860 |
|
if [[ "x$FPE_CORE" = "xieee" ]]; then |
861 |
|
AC_CHECK_HEADERS(fenv.h) |
862 |
|
AC_CHECK_FUNCS(feclearexcept fegetexceptflag feraiseexcept fesetexceptflag fetestexcept) |
906 |
|
echo |
907 |
|
echo Basilisk II configuration summary: |
908 |
|
echo |
909 |
< |
echo XFree86 DGA support .............. : $WANT_XF86_DGA |
910 |
< |
echo XFree86 VidMode support .......... : $WANT_XF86_VIDMODE |
911 |
< |
echo fbdev DGA support ................ : $WANT_FBDEV_DGA |
912 |
< |
echo Enable video on SEGV signals ..... : $WANT_VOSF |
913 |
< |
echo ESD sound support ................ : $WANT_ESD |
914 |
< |
echo GTK user interface ............... : $WANT_GTK |
915 |
< |
echo mon debugger support ............. : $WANT_MON |
916 |
< |
echo Running m68k code natively ....... : $WANT_NATIVE_M68K |
917 |
< |
echo Floating-Point emulation core .... : $FPE_CORE_STR |
918 |
< |
echo Assembly optimizations ........... : $ASM_OPTIMIZATIONS |
919 |
< |
echo Addressing mode .................. : $ADDRESSING_MODE |
909 |
> |
echo XFree86 DGA support .................... : $WANT_XF86_DGA |
910 |
> |
echo XFree86 VidMode support ................ : $WANT_XF86_VIDMODE |
911 |
> |
echo fbdev DGA support ...................... : $WANT_FBDEV_DGA |
912 |
> |
echo Enable video on SEGV signals ........... : $WANT_VOSF |
913 |
> |
echo ESD sound support ...................... : $WANT_ESD |
914 |
> |
echo GTK user interface ..................... : $WANT_GTK |
915 |
> |
echo mon debugger support ................... : $WANT_MON |
916 |
> |
echo Running m68k code natively ............. : $WANT_NATIVE_M68K |
917 |
> |
echo Floating-Point emulation core .......... : $FPE_CORE_STR |
918 |
> |
echo Assembly optimizations ................. : $ASM_OPTIMIZATIONS |
919 |
> |
echo Addressing mode ........................ : $ADDRESSING_MODE |
920 |
|
echo |
921 |
|
echo "Configuration done. Now type \"make\" (or \"gmake\")." |