February 2005 - PPL-devel - BUGSENG Mailman

debian/control: build-depends
by Michael Tautschnig 01 Mar '05

01 Mar '05

Hello! I just checked out the debian/control file and found - dependencies on g++ *Version 3.4.2* - why does it depend on exactly this single version - missing dependencies on automake1.9 and autoconf Thanks, Michael

2 5

Constraint_System undocumented in doxygen
by Michael Tautschnig 28 Feb '05

28 Feb '05

Hello! In the current version in CVS there seems to be a problem with the documentation of Constraint_System - it is not listed in PPL->Namespace List->Parma_Polyhedra_Library and furthermore it is never shown as a link, if it is mentioned. Regards, Michael

2 1

ppl/debian compat control copyright
by Roberto Bagnara 28 Feb '05

28 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-28 11:45:45 Added files: debian : compat control copyright Log message: Initial drafts put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/compat?cvsroot=ppl&rev… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/control?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/copyright?cvsroot=ppl&…

1 0

ppl/debian
by Roberto Bagnara 28 Feb '05

28 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-28 10:36:30 ppl/debian Update of /cvs/ppl/ppl/debian In directory spartacus.cs.unipr.it:/tmp/cvs-serv13717/debian Log Message: Directory /cvs/ppl/ppl/debian added to the repository

1 0

ppl ppl.spec.in
by Roberto Bagnara 28 Feb '05

28 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-28 10:10:44 Modified files: . : ppl.spec.in Log message: URL for the source fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/tests/Polyhedron watchdog1.cc
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 22:57:27 Modified files: tests/Polyhedron: watchdog1.cc Log message: Empty throw specification added to ~Timeout(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/watchdog1.cc…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 22:56:08 Modified files: src : Polyhedron.inlines.hh Log message: Slight simplification in Polyhedron::shrink_bounding_box(Box&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

Building debian packages
by Michael Tautschnig 27 Feb '05

27 Feb '05

Hello! I just started using ppl, but as a Debian-user I would have considered it nice to find ready-made .deb-packages. Would it be possible to include a debian/ -directory in CVS, such that one can build those packages directly from CVS-snapshots? As I'm just trying to build the packages, I could supply some initial content for the directory (as a tarball, if you wish). Thanks in advance, Michael -- ------------------------------------------------ Michael Tautschnig System administrator Lehrstuhl Brauer / I7 Institut f"ur Informatik Technische Universit"at M"unchen ________________________________________________

2 1

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 17:07:12 Modified files: src : BD_Shape.defs.hh Log message: Added declaration for BD_Shape(const Polyhedron&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/src globals.defs.hh globals.inlines.hh
by Roberto Bagnara 27 Feb '05

27 Feb '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-02-27 16:44:00 Modified files: src : globals.defs.hh globals.inlines.hh Log message: Class Throwable was missing a virtual destructor: added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c…

1 0