[PPL-devel] [GIT] ppl/ppl(master): Fixed tests/Partially_Reduced_Product/Makefile.am.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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