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

Author: Roberto Bagnara bagnara@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