Module: ppl/ppl Branch: master Commit: cc825f2bac6aad42678e58b0de97a6a311072ecd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6aa...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 18 17:38:26 2010 +0100
Fixed tests/Partially_Reduced_Product/Makefile.am.
---
tests/Partially_Reduced_Product/Makefile.am | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index 541da86..301f1cb 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -130,6 +130,12 @@ constraintsproduct1_SOURCES = constraintsproduct1.cc
constraints1_SOURCES = constraints1.cc
+contains1_SOURCES = contains1.cc + +difference1_SOURCES = difference1.cc + +dimension1_SOURCES = dimension1.cc + directproduct1_SOURCES = directproduct1.cc
discrete1_SOURCES = discrete1.cc @@ -152,6 +158,8 @@ fromproduct1_SOURCES = fromproduct1.cc
generalizedaffineimage1_SOURCES = generalizedaffineimage1.cc
+intersection1_SOURCES = intersection1.cc + isempty1_SOURCES = isempty1.cc
isuniverse1_SOURCES = isuniverse1.cc @@ -175,6 +183,8 @@ topclosed1_SOURCES = topclosed1.cc
topclosure1_SOURCES = topclosure1.cc
+upperbound1_SOURCES = upperbound1.cc + DERIVED_CXXFLAGS = -DREVERSED_TESTS $(AM_CXXFLAGS)
reverse_congruences1_SOURCES = congruences1.cc