[PPL-devel] PPL, Windows, MinGW

[Roberto Bagnara]

Krzysztof Jakubczyk wrote:
> On 2009-11-23 11:54, Roberto Bagnara wrote:
>> Krzysztof Jakubczyk wrote:
>>> I get following error when trying to compile PPL under MinGW:
>>>
>>> make[4]: Entering directory `/c/ppl-0.10.2/demos/ppl_lcdd/examples'
>>>
>>> make[4]: Nothing to be done for `all'.
>>> make[4]: Leaving directory `/c/ppl-0.10.2/demos/ppl_lcdd/examples'
>>> make[4]: Entering directory `/c/ppl-0.10.2/demos/ppl_lcdd'
>>> g++ -DHAVE_CONFIG_H -I. -I../..  -I../.. -I../../src -I../../utils  
>>> -I/usr/local
>>> /include  -g -O2 -frounding-math  -W -Wall -MT ppl_lcdd.o -MD -MP -MF 
>>> .deps/ppl_
>>> lcdd.Tpo -c -o ppl_lcdd.o ppl_lcdd.cc
>>> ppl_lcdd.cc:138:27: error: sys/resource.h: No such file or directory
>>> ppl_lcdd.cc: In function 
>>> 'void<unnamed>::limit_virtual_memory(unsigned int)':
>>> ppl_lcdd.cc:336: error: aggregate '<unnamed>::rlimit t' has 
>>> incomplete type and
>>> cannot be defined
>>> ppl_lcdd.cc:338: error: 'RLIMIT_AS' was not declared in this scope
>>> ppl_lcdd.cc:338: error: 'getrlimit' was not declared in this scope
>>> ppl_lcdd.cc:343: error: 'RLIMIT_AS' was not declared in this scope
>>> ppl_lcdd.cc:343: error: 'setrlimit' was not declared in this scope
>>> make[4]: *** [ppl_lcdd.o] Error 1
>>
>> Hi Krzysztof,
>>
>> this is strange, because in ppl_lcdd.cc I see
>>
>> #ifdef PPL_HAVE_SYS_RESOURCE_H
>> // This should be included after <time.h> and <sys/time.h> so as to make
>> // sure we have the definitions for, e.g., `ru_utime'.
>> # include <sys/resource.h>
>> #endif
>>
>> which should meand that <sys/resource.h> is included only if configure
>> determined that that header file is present.  Can you please check
>> in the config.log and ppl-config.h?

> this is part of my ppl_config.h:
> 
> /* Define to 1 if you have the <string.h> header file. */
> #define PPL_HAVE_STRING_H 1
> 
> /* Define to 1 if you have the <sys/resource.h> header file. */
> /* #undef PPL_HAVE_SYS_RESOURCE_H */
> 
> /* Define to 1 if you have the <sys/stat.h> header file. */
> #define PPL_HAVE_SYS_STAT_H 1
> 
> Also attached ppl_config.h and config.log

Hi Krzyszof,

I can confirm something strange is happening.  Your ppl-config.h
and config.log are as expected.  Given that PPL_HAVE_SYS_RESOURCE_H
is not defined by ppl-config.h, who is defining it so that
at line 138 of ppl_lcdd.cc inclusion of <sys/resource.h>
is attempted?  This is the question.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it