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

Author: Roberto Amadini r.amadini@virgilio.it Date: Sat Sep 26 17:48:51 2009 +0200

Temporarily edited tests/Floating_Point_Expression/Makefile.am

---

tests/Floating_Point_Expression/Makefile.am | 19 +++++++++++-------- 1 files changed, 11 insertions(+), 8 deletions(-)

diff --git a/tests/Floating_Point_Expression/Makefile.am b/tests/Floating_Point_Expression/Makefile.am index b165040..823f722 100644 --- a/tests/Floating_Point_Expression/Makefile.am +++ b/tests/Floating_Point_Expression/Makefile.am @@ -50,13 +50,14 @@ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la \ @extra_libraries@

-ORIGINAL_TESTS = \ -bdshape1 \ -floatingpointexpr1 \ -linearform1 \ -octagonalshape1 \ -octagonalshape2 \ -polyhedron1 \ +ORIGINAL_TESTS = polyhedron2 + +#bdshape1 \ +#floatingpointexpr1 \ +#linearform1 \ +#octagonalshape1 \ +#octagonalshape2 \ +#polyhedron1 \ polyhedron2

DERIVED_TESTS = @@ -127,7 +128,9 @@ print_INSTANCES: # Sources for the tests #

-polyhedron1_SOURCES = polyhedron1.cc +polyhedron2_SOURCES = polyhedron2.cc + +#polyhedron1_SOURCES = polyhedron1.cc

#bdshape1_SOURCES = bdshape1.cc