Hi there,
I have uploaded to our snapshot area (http://www.cs.unipr.it/ppl/Download/ftp/snapshots/)
a set of distribution packages. While these are not up-to-date with respect to the
current CVS version, they are there for you to check if packaging is OK.
Tarballs should be unpackable, compilable and installable, RPMs should have the
appropriate info and should be usable as expected. Please let me know if there
are any problems.
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
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-06-24 21:47:52
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Should now contain all the information need to use the Prolog interface.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-06-24 18:16:54
Modified files:
src : Polyhedron.cc Polyhedron.defs.hh
Log message:
The detailed comments about class Polyhedron improved.
Better marking the start of detailed doxygen sections in the documentation
of Polyhedron methods (using /*! ... */ instead of multi-line //!).
Adjusted a couple of old comments saying that the return value of
minimize() was `true' when the polyhedron is found to be empty.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…