[PPL-devel] [GIT] ppl/ppl(master): Added the generated Termination files to make clean.

Patricia Hill p.m.hill at leeds.ac.uk
Wed Mar 24 13:24:47 CET 2010


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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Mar 24 12:23:10 2010 +0000

Added the generated Termination files to make clean.

---

 .../Java/parma_polyhedra_library/Makefile.am       |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am
index 73c0afa..2f59201 100644
--- a/interfaces/Java/parma_polyhedra_library/Makefile.am
+++ b/interfaces/Java/parma_polyhedra_library/Makefile.am
@@ -217,6 +217,7 @@ $(fixed_java_cxx_headers_sources) \
 java_classes.stamp \
 java_cxx_headers.stamp \
 source_generation.stamp \
+Termination.java \
 Bounded_Integer_Type_Overflow.class \
 Bounded_Integer_Type_Representation.class \
 Bounded_Integer_Type_Width.class \
@@ -259,6 +260,7 @@ Poly_Con_Relation.class \
 Poly_Gen_Relation.class \
 PPL_Object.class \
 Relation_Symbol.class \
+Termination.class \
 Timeout_Exception.class \
 Variable.class \
 Variables_Set.class




More information about the PPL-devel mailing list