[PPL-devel] [GIT] ppl/ppl(master): Cater for platforms where no floating-point type is supported.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 26 08:21:32 2012 +0100

Cater for platforms where no floating-point type is supported.

---

 configure.ac                          |   22 ++++++++----------
 tests/Concrete_Expression/Makefile.am |   38 +++++++++++++-------------------
 2 files changed, 26 insertions(+), 34 deletions(-)

diff --git a/configure.ac b/configure.ac
index 45acdca..e78909e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -762,17 +762,15 @@ AC_CXX_DOUBLE_BINARY_FORMAT
 # Detect the binary format used by C++ long doubles.
 AC_CXX_LONG_DOUBLE_BINARY_FORMAT
 
-# Check whether the C++ run-time systems provides exact output for
-# floats.
-#AC_CXX_FLOAT_EXACT_OUTPUT
-
-# Check whether the C++ run-time systems provides exact output for
-# doubles.
-#AC_CXX_DOUBLE_EXACT_OUTPUT
-
-# Check whether the C++ run-time systems provides exact output for
-# long doubles.
-#AC_CXX_LONG_DOUBLE_EXACT_OUTPUT
+# Test if some floating-point type is supported.
+if test $ac_supported_float = 1 \
+|| test $ac_supported_double = 1 \
+|| test $ac_supported_long_double = 1
+then
+  supported_some_floating_point_type=yes
+fi
+AM_CONDITIONAL(SUPPORTED_SOME_FLOATING_POINT_TYPE,
+               test x$supported_some_floating_point_type = xyes)
 
 # Check whether the C++ compiler supports zero-length arrays.
 AC_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
@@ -1222,7 +1220,7 @@ fi
 AM_CONDITIONAL(BUILD_YAP_PROLOG_INTERFACE,
                test x$build_yap_prolog_interface = xyes)
 
-# Test if *any* Prolog system has to be built.
+# Test if some Prolog interfaces have to be built.
 if test x$build_ciao_prolog_interface = xyes \
 || test x$build_gnu_prolog_interface = xyes \
 || test x$build_sicstus_prolog_interface = xyes \
diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am
index 3a79ec1..54b1af8 100644
--- a/tests/Concrete_Expression/Makefile.am
+++ b/tests/Concrete_Expression/Makefile.am
@@ -52,7 +52,7 @@ $(top_builddir)/tests/libppl_tests.a \
 $(top_builddir)/src/libppl.la \
 @extra_libraries@
 
-ORIGINAL_TESTS = \
+ALL_TESTS = \
 C_Expr \
 linearform1 \
 linearize \
@@ -64,9 +64,19 @@ octagonalshape2 \
 polyhedron1 \
 polyhedron2
 
-DERIVED_TESTS =
+BUGS =
+
+EXTRA_DIST = $(ALL_TESTS) $(BUGS)
+
+# There are platforms where no floating-point type is supported.
+if SUPPORTED_SOME_FLOATING_POINT_TYPE
+
+check_PROGRAMS = $(ALL_TESTS) $(BUGS)
+
+TESTS = run_tests.stamp
+
+endif SUPPORTED_SOME_FLOATING_POINT_TYPE
 
-ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS)
 
 # This will be overridden by the `run_tests' script.
 if SUPPORTED_FLOAT
@@ -83,12 +93,11 @@ LONG_DOUBLE_FLAGS = \
 endif
 endif
 endif
+
 TEST_CPPFLAGS = $(FLOAT_FLAGS) $(DOUBLE_FLAGS) $(LONG_DOUBLE_FLAGS)
 
 dist_check_SCRIPTS = run_tests
 
-TESTS = run_tests.stamp
-
 .PHONY: run_tests.stamp
 run_tests.stamp: run_tests
 	+MAKE="$(MAKE)" $(srcdir)/run_tests
@@ -152,30 +161,15 @@ polyhedron1_SOURCES = polyhedron1.cc
 
 polyhedron2_SOURCES = polyhedron2.cc
 
-#
-# Sources and compilation flags for the derived check programs
-#
-
-DERIVED_CXXFLAGS = -DDERIVED_TEST $(AM_CXXFLAGS)
-
-#nnc_frompolyhedron1_SOURCES = frompolyhedron1.cc
-#nnc_frompolyhedron1_CXXFLAGS = $(DERIVED_CXXFLAGS)
-
-BUGS =
-
-check_PROGRAMS = $(ALL_TESTS) $(BUGS)
-
-#EXTRA_DIST = $(refinewithconstraints2_SRCS)
-
-#MOSTLYCLEANFILES = \
-#ascii_dump_load1.dat
 
 CLEANFILES = \
 run_tests.stamp
 
+
 DISTCLEANFILES = \
 dirty_marker
 
+
 $(top_builddir)/utils/libppl_utils.a:
 	$(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils libppl_utils.a