Saeed Amrollahi wrote:

[...] in installing PPL (Parma Polyhedra Library), I encounter the following errors (in make phase):

warning: undefined _SMC_LIMIT_MACROS ... make[6] ***[libppl_c.la] Error1 ... make[5]: Leaving directory ... .. make[1]: Leaving directory ... make: ***[all] Error 2

Dear Saeed, I believe we can help you installing the PPL. In order to do that, we need to know which version of the PPL you are trying to install. We also need the files config.log and config.h generated by the configuration procedure. Please direct all PPL-related messages to ppl-devel@cs.unipr.it. All the best, 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