[PPL-devel] [GIT] ppl/ppl(master): Correction for platforms where not all floating point types are supported.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Dec 30 11:23:40 2009 +0100

Correction for platforms where not all floating point types are supported.

---

 tests/Floating_Point_Expression/Makefile.am |   16 +++++++++++++++-
 1 files changed, 15 insertions(+), 1 deletions(-)

diff --git a/tests/Floating_Point_Expression/Makefile.am b/tests/Floating_Point_Expression/Makefile.am
index d8ea04c..10f8579 100644
--- a/tests/Floating_Point_Expression/Makefile.am
+++ b/tests/Floating_Point_Expression/Makefile.am
@@ -66,7 +66,21 @@ DERIVED_TESTS =
 ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS)
 
 # This will be overridden by the `run_tests' script.
-TEST_CPPFLAGS=-DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=float_ieee754_half
+if SUPPORTED_FLOAT
+FLOAT_FLAGS = \
+-DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=float_ieee754_single
+else
+if SUPPORTED_DOUBLE
+DOUBLE_FLAGS = \
+-DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=float_ieee754_double
+else
+if SUPPORTED_LONG_DOUBLE
+LONG_DOUBLE_FLAGS = \
+-DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=float_ieee754_quad
+endif
+endif
+endif
+TEST_CPPFLAGS = $(FLOAT_FLAGS) $(DOUBLE_FLAGS) $(LONG_DOUBLE_FLAGS)
 
 dist_check_SCRIPTS = run_tests