[PPL-devel] I have troubles with GCC 4.3.3 installation

[Roberto Bagnara]

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 at 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 at cs.unipr.it