December 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml Makefile.am ppl_interface ...
by Andrea Cimino 23 Dec '06

23 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-23 19:00:46 Modified files: interfaces/OCaml: Makefile.am ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_ocaml_globals.ml Added files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 ppl_interface_generator_ocaml_mli_code.m4 Removed files: interfaces/OCaml: ppl_ocaml.mli Log message: Now the interface file .mli is automatically generated. Added support for compilation with srcdir != builddir. Added support for parallel builds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 23 Dec '06

23 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-23 15:12:58 Modified files: src : Interval.defs.hh Log message: Revised the documentation for refine_existential() and refine_universal(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 17:20:26 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 Log message: Interfaced other functions in the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/Java/jni ppl_java_C_Polyhedron. ...
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 16:14:19 Removed files: interfaces/Java/jni: ppl_java_C_Polyhedron.cc ppl_java_Polyhedron.cc Log message: Removed previously non generated source files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/OCaml Makefile.am
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 16:11:49 Modified files: interfaces/OCaml: Makefile.am Log message: Modified dependencies for source files in Makefile.am. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/OCaml ppl_ocaml.ml
by Andrea Cimino 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-22 16:01:13 Removed files: interfaces/OCaml: ppl_ocaml.ml Log message: Removed the non generated `ppl_ocaml.ml' from the repository. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml…

1 0

ppl/interfaces/Java Makefile.am
by Roberto Bagnara 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-22 15:52:58 Modified files: interfaces/Java: Makefile.am Log message: Make sure the current directory is made before `tests'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d…

1 0

ppl/interfaces/Java/tests Makefile.am
by Roberto Bagnara 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-22 15:52:39 Modified files: interfaces/Java/tests: Makefile.am Log message: Compile against ../ppl_java.jar. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/Java/tests Makefile.am
by Roberto Bagnara 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-22 15:45:14 Modified files: interfaces/Java/tests: Makefile.am Log message: Do not distribute generated files. Use `check_JAVA' instead of `EXTRA_DIST'. Notice that, due to a bug in Automake (at least until version 1.9.6) check_JAVA targes are always compiled. That bug has already been reported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc
by Roberto Bagnara 22 Dec '06

22 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-12-22 15:40:15 Removed files: interfaces/OCaml: ppl_ocaml.cc Log message: Generated file should not be under CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0