[PPL-devel] [GIT] ppl/ppl(master): Depend on PPL_CAN_CONTROL_FPU.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: b8777ff8bbf8a7dc54cfe1331f5c78eea06c4c56
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8777ff8bbf8a7dc54cfe1331f5c78eea06c4c56

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 25 22:01:12 2009 +0100

Depend on PPL_CAN_CONTROL_FPU.

---

 src/fpu-ia32.cc |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/fpu-ia32.cc b/src/fpu-ia32.cc
index d106996..b781a72 100644
--- a/src/fpu-ia32.cc
+++ b/src/fpu-ia32.cc
@@ -21,7 +21,10 @@ For the most up-to-date information see the Parma Polyhedra Library
 site: http://www.cs.unipr.it/ppl/ . */
 
 #include <ppl-config.h>
-#if defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER))
+
+#if PPL_CAN_CONTROL_FPU && defined(PPL_FPMATH_MAY_USE_SSE) \
+  && defined(__i386__) \
+  && (defined(__GNUC__) || defined(__INTEL_COMPILER))
 
 #include "fpu.defs.hh"
 #include <csetjmp>
@@ -64,4 +67,4 @@ detect_sse_unit() {
 
 } // namespace Parma_Polyhedra_Library
 
-#endif // defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER))
+#endif // PPL_CAN_CONTROL_FPU && defined(PPL_FPMATH_MAY_USE_SSE) && defined(__i386__) && (defined(__GNUC__) || defined(__INTEL_COMPILER))