From 0cf0242c3bb3fbd9aba37ca21325ea4d11b83f1b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Mon, 10 Jan 2011 16:35:20 -0800
Subject: [pk] added --disable-fp-emulation option for code size

---
 configure | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index f1d154a..7cd367b 100755
--- a/configure
+++ b/configure
@@ -638,6 +638,7 @@ enable_optional_subprojects
 enable_vm
 enable_kernel_64bit
 enable_user_64bit
+enable_fp_emulation
 '
       ac_precious_vars='build_alias
 host_alias
@@ -1273,6 +1274,7 @@ Optional Features:
   --disable-vm            Disable virtual memory
   --disable-kernel-64bit  Disable 64-bit kernel operation
   --disable-user-64bit    Disable 64-bit user operation
+  --disable-fp-emulation  Disable floating-point emulation
 
 Some influential environment variables:
   CC          C compiler command
@@ -4019,6 +4021,19 @@ $as_echo "#define PK_ENABLE_USER_64BIT /**/" >>confdefs.h
 
 fi
 
+# Check whether --enable-fp-emulation was given.
+if test "${enable_fp_emulation+set}" = set; then :
+  enableval=$enable_fp_emulation;
+fi
+
+if test "x$enable_fp_emulation" != "xno"; then :
+
+
+$as_echo "#define PK_ENABLE_FP_EMULATION /**/" >>confdefs.h
+
+
+fi
+
 
 
 
-- 
cgit v1.1