[PPL-devel] Polyhedra/ rc/Makefile.am rc/Makefile.in rc/PP ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/07 19:10:04

Modified files:
	src            : Makefile.am Makefile.in PPL.cc 
	src/BitSet     : Makefile.in 
	src/Integer    : Makefile.in 
	test           : Makefile.in 
Added files:
	src            : protect.sed restore.sed 
Removed files:
	src            : PPL.hh 

Log message:
	We need to determine the C++ preprocessor at configuration time.
	First attempt at the automatic generation of the only header file
	to be included by the user: PPL.hh.