[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixed the handling of Termination.java.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 23 08:06:44 2010 +0100

Fixed the handling of Termination.java.

---

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

diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am
index 199344b..73c0afa 100644
--- a/interfaces/Java/parma_polyhedra_library/Makefile.am
+++ b/interfaces/Java/parma_polyhedra_library/Makefile.am
@@ -155,14 +155,14 @@ $(srcdir)/Poly_Gen_Relation.java \
 $(srcdir)/PPL_Object.java \
 $(srcdir)/Relation_Symbol.java \
 $(srcdir)/Timeout_Exception.java \
-$(builddir)/Termination.java \
 $(srcdir)/Variable.java \
 $(srcdir)/Variables_Set.java
 
 # NOTE: do _NOT_ add Fake_Class_for_Doxygen.java to this list.
 all_java_sources = \
 $(fixed_java_sources) \
-$(required_instantiations_java_sources)
+$(required_instantiations_java_sources) \
+Termination.java
 
 # NOTE: Fake_Class_for_Doxygen.java should be added here.
 EXTRA_DIST = \
@@ -207,6 +207,8 @@ source_generation.stamp: $(interface_generator_dependencies)
 
 $(required_instantiations_java_sources): source_generation.stamp
 
+Termination.java: source_generation.stamp
+
 CLEANFILES = \
 $(required_instantiations_java_sources) \
 $(required_instantiations_java_classes) \