[PPL-devel] ppl/interfaces/C ppl_interface_generator_c_cc_ ...

Tue Oct 9 15:57:30 CEST 2007

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2007-10-09 15:57:30

Modified files:
	interfaces/C   : ppl_interface_generator_c_cc_preamble 

Log message:
	Teach emacs that this is a C++ file.  Disable automatic initialization.
	Use the new Parma_Polyhedra_Library::initialize() and
	Parma_Polyhedra_Library::finalize() instead of something ad hoc.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_preamble.diff?cvsroot=ppl&r1=1.11&r2=1.12