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

Author: Abramo Bagnara abramo@localhost.localdomain Date: Fri Aug 7 12:40:53 2009 +0200

Modified cm_splitter machinery to avoid use of 'read' shell builtin.

---

interfaces/C/Makefile.am | 8 +- interfaces/C/ppl_interface_generator_c_cc_files.m4 | 4 +- interfaces/C/ppl_interface_generator_c_hh_files.m4 | 10 +- interfaces/Java/jni/Makefile.am | 4 +- ...pl_interface_generator_java_classes_cc_files.m4 | 4 +- .../Java/parma_polyhedra_library/Makefile.am | 4 +- .../ppl_interface_generator_java_classes_java.m4 | 25 ++- ...l_interface_generator_java_classes_java_code.m4 | 198 +++++++++++++------- interfaces/OCaml/Makefile.am | 8 +- .../ppl_interface_generator_ocaml_cc_files.m4 | 4 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 10 +- interfaces/Prolog/Makefile.am | 8 +- .../ppl_interface_generator_prolog_cc_files.m4 | 8 +- .../ppl_interface_generator_prolog_hh_files.m4 | 10 +- interfaces/Prolog/tests/Makefile.am | 4 +- ...interface_generator_prolog_generated_test_pl.m4 | 23 ++- utils/cm_cleaner.sh | 21 +-- utils/cm_splitter.sh | 24 +-- 18 files changed, 233 insertions(+), 144 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a87795dec...