Module: ppl/ppl Branch: master Commit: 3aa59de6c626d5665ee40d30401a2a4dd793d834 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aa59de6c626d...
Author: Roberto Bagnara bagnara@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) \