CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/10/08 11:05:50

Modified files: src : Makefile.am

Log message: Use kgcc for the final step of the generation of ppl.hh. This makes us dependent on kgcc. For instance, if you are running RedHat 7.1 you must have the package compat-egcs-6.2-1.1.2.14 installed. See http://www.cs.unipr.it/pipermail/ppl-devel/2001-October/000281.html for more on this.