Build the Alpha port with IEEE floating point arithmetics

src/aclocal.m4

@@ -267,6 +267,10 @@ case "${host_os}" in
 		shared="no"
 		;;
 esac
+case "${host_cpu}" in
+	alpha*)
+		CFLAGS="${CFLAGS} -mieee";;
+esac
 ECL_CFLAGS="-D${thehost}"
 AC_MSG_CHECKING(for ld flags when building shared libraries)
 if test "${enable_shared}" = "yes"; then

src/configure

@@ -3592,6 +3592,10 @@ case "${host_os}" in
 		shared="no"
 		;;
 esac
+case "${host_cpu}" in
+	alpha*)
+		CFLAGS="${CFLAGS} -mieee";;
+esac
 ECL_CFLAGS="-D${thehost}"
 echo "$as_me:$LINENO: checking for ld flags when building shared libraries" >&5
 echo $ECHO_N "checking for ld flags when building shared libraries... $ECHO_C" >&6