June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 16 Jun '02

16 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-16 08:44:14 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Generation of gp_clpq fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

Some numbers on the current version of PPL
by Roberto Bagnara 16 Jun '02

16 Jun '02

Hi there, for your curiosity, here are some numbers about the size of the current version of the PPL. NCLOC means "non-comment lines of code" and Stmts means "statements". Here are the numbers for the core library: Lines NCLOC Stmts What -------- -------- -------- ------------------------------------------------ 18631 9374 6366 C++ source files under src And here are the number for the interfaces (Prolog sources disregarded): Lines NCLOC Stmts What -------- -------- -------- ------------------------------------------------ 5062 3040 1602 C and C++ source files under interfaces Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl interfaces/Prolog/ppl_prolog.icc src/ConSy ...
by Roberto Bagnara 16 Jun '02

16 Jun '02

1 0

ppl/tests memory1.cc watchdog1.cc
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 18:50:31 Modified files: tests : memory1.cc watchdog1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl interfaces/C/ppl_c.cc interfaces/Prolog/pp ...
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 18:42:16 Modified files: interfaces/C : ppl_c.cc interfaces/Prolog: ppl_prolog.icc src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh tests : boundingbox2.cc Log message: Start replacing our ad hoc protection mechanisms with friendship. Got around the GCC bug described in http://gcc.gnu.org/bugs.html#known by exchanging the order of arguments in the constructors from bounding boxes of C_Polyhedron and NNC_Polyhedron. The test program boundingbox2.cc has been cleaned up consequently. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl ltmain.sh
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 17:23:33 Modified files: . : ltmain.sh Log message: Revert previous change: the CVS version of libtool causes more problems than it solves. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 17:12:26 Modified files: tests : Makefile.am Log message: Always distribute the sources for watchdog1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ltmain.sh missing
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 16:05:50 Modified files: . : ltmain.sh missing Log message: Updated to the CVS version of libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&r1=1…

1 0

Enabling shared libraries selectively
by Roberto Bagnara 15 Jun '02

15 Jun '02

Hi there, I have aproject where I would like to use AC_DISABLE_SHARED so that not building shared libraries is the default. Of course, this is ideal for development and debugging but there is a problem: the `make check' target in one of the project's subdirectories requires building a shared library (because a particular test can only be done and does only make sense with a shared library). Can I avoid building that shared library "by hand" (with all the consequent portability problems) and use libtool instead? If so, how can I do it? Thanks a lot Roberto P.S. In the configured libtool script (version 1.4.x and today's CVS version) that is put in the build directory it seems that the `build_libtool_libs' variable is assigned to `no' and never changed again. Perhaps an option like `--shared' should be added to that script to override the default? -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl .cvsignore
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 14:48:28 Modified files: . : .cvsignore Log message: For those building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r…

1 0