November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 11:24:34 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Several bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces Makefile.am Java/ppl_java/Makef ...
by Roberto Bagnara 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-16 10:02:15 Modified files: interfaces : Makefile.am interfaces/Java/ppl_java: Makefile.am Log message: Installed the mechanism for the automatic generation of the .java sources for the semantic object classes. The interfaces/Java directory is temporarily disabled in order to avoid failures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 09:44:00 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 Log message: Added missing swap() and OK() methods and fixed a few bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 09:13:13 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Added some missing methods. Corrected some schematic names. Added lines for the closing "}". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 16 Nov '06

16 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-16 08:42:51 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/jni: Makefile.am Added files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc.m4 ppl_interface_generator_java_ppl_java_classes_cc_code.m4 Log message: Added files for generating the ".cc" files for the classes. This needed modifications to the main replacement m4 code to allow for inserting "1" after embedded "_"s. Java/jni/Makefile.am includes necessary code for building the combined files (temporarily named ppl_java_Polyhedron1.cc). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.…

1 0

ppl/interfaces/Java jni/ppl_java_C_Polyhedron. ...
by Andrea Cimino 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-15 18:41:09 Modified files: interfaces/Java/jni: ppl_java_C_Polyhedron.cc interfaces/Java/ppl_java: C_Polyhedron.java Log message: Implemented the ordinary copy constructor of C_Polyhedron. 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/ppl_java/C_Po…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 17:43:32 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: The cut line must have the file name and not just the root of the file name. Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 17:19:57 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Added the swap and ok methods - copied from the source file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java/jni ppl_java_Polyhedron.cc
by Andrea Cimino 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-15 17:19:11 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc Log message: Added the `try' and `catch' blocks to every method of Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

dependency within libppl.so
by Basile STARYNKEVITCH 15 Nov '06

15 Nov '06

Dear PPL developpers I am starting to hack the GCC compiler to enhance it with program wide static analysis. Sebastian Pop suggested me to consider using the PPL library. FWIW, We are both working within the GlobalGCC project (ITEA programme) http://gcc.gnu.org/ml/gcc/2006-10/msg00676.html May I suggest a tiny enhancenment to PPL (I compiled and install PP 0.9 on Linux/Debian/Sid AMD64 using gcc-4.1.2)? I did a ./configure, make, sudo make install, and also tried with My suggestion is to update the build process so that dependencies are recorded in the libppl.so and libppl_c.so shared object ELF files. Currently I've got % ldd /usr/local/lib/libppl.so /usr/local/lib/libppl_c.so /usr/local/lib/libppl.so: libstdc++.so.6 => /usr/local/lib64/libstdc++.so.6 (0x00002b87d3802000) libm.so.6 => /lib/libm.so.6 (0x00002b87d3a04000) libc.so.6 => /lib/libc.so.6 (0x00002b87d3b86000) libgcc_s.so.1 => /usr/local/lib64/libgcc_s.so.1 (0x00002b87d3dc3000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) /usr/local/lib/libppl_c.so: libstdc++.so.6 => /usr/local/lib64/libstdc++.so.6 (0x00002b1daeca6000) libm.so.6 => /lib/libm.so.6 (0x00002b1daeea8000) libc.so.6 => /lib/libc.so.6 (0x00002b1daf02a000) libgcc_s.so.1 => /usr/local/lib64/libgcc_s.so.1 (0x00002b1daf267000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) The dpkg-buildpackage don't give much better results % ldd **/*.so debian/tmp/usr/lib/libppl.so: libstdc++.so.6 => /usr/local/lib64/libstdc++.so.6 (0x00002b86acc64000) libm.so.6 => /lib/libm.so.6 (0x00002b86ace66000) libc.so.6 => /lib/libc.so.6 (0x00002b86acfe8000) libgcc_s.so.1 => /usr/local/lib64/libgcc_s.so.1 (0x00002b86ad225000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) debian/tmp/usr/lib/libppl_c.so: libstdc++.so.6 => /usr/local/lib64/libstdc++.so.6 (0x00002ba7b8ee7000) libm.so.6 => /lib/libm.so.6 (0x00002ba7b90e9000) libc.so.6 => /lib/libc.so.6 (0x00002ba7b926b000) libgcc_s.so.1 => /usr/local/lib64/libgcc_s.so.1 (0x00002ba7b94a8000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) debian/tmp/usr/lib/libpwl.so: libstdc++.so.6 => /usr/local/lib64/libstdc++.so.6 (0x00002b53ef135000) libm.so.6 => /lib/libm.so.6 (0x00002b53ef337000) libc.so.6 => /lib/libc.so.6 (0x00002b53ef4b9000) libgcc_s.so.1 => /usr/local/lib64/libgcc_s.so.1 (0x00002b53ef6f6000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) I believe that libppl_c.so should depend upon libppl.so, which should also depend upon libmpfr.so (of course, version numbers are needed in dependencies). For you information on my system, % ldd /usr/lib/libmpfr.so libgmp.so.3 => /usr/lib/libgmp.so.3 (0x00002af215670000) libc.so.6 => /lib/libc.so.6 (0x00002af2157af000) /lib64/ld-linux-x86-64.so.2 (0x0000555555554000) To achieve such dependencies you might build the shared libraries with appropriate -l and -rpath flags See also http://www.tldp.org/HOWTO/Program-Library-HOWTO/index.html http://www.gnu.org/software/libtool/manual.html#Inter_002dlibrary-dependenc… I do agree that the above dependencies issues are minor, and PPL0.9 seems to be a very good software. I'm not familiar enough with PPL or libtool to propose a patch. (I guess that recent libtool claim to adress such issues). A big thanks for your library! PS please reply to me also, as I don't subscribe to the ppl devel list -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faïencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

3 3