[PPL-devel] ppl ./NEWS src/initializer.hh
Roberto Bagnara
bagnara at cs.unipr.it
Tue Oct 9 15:27:12 CEST 2007
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: bagnara at cs.unipr.it 2007-10-09 15:27:11
Modified files:
. : NEWS
src : initializer.hh
Log message:
Users of the C++ interface of the library can now decide to disable
the automatic initialization mechanism of the PPL. To do so, the
preprocessor symbol PPL_NO_AUTOMATIC_INITIALIZATION should be defined
before including the `ppl.hh' header file. When automatic initialization
is disabled it is imperative to explicitly call the new function
void Parma_Polyhedra_Library::initialize()
before using the library. The new function
void Parma_Polyhedra_Library::finalize() and
should also be called (to release a small amount of memory) when
done with the library.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.210&r2=1.211
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
More information about the PPL-devel
mailing list