[PPL-devel] PPL, Windows, MinGW

[Roberto Bagnara]

Krzysztof Jakubczyk wrote:
> On 2009-11-23 14:47, Roberto Bagnara wrote:
>> 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
>>
> Hi Roberto,
> I've investigated a little ant it seems the define comes from src/ppl.hh 
> file.

Can you show me the portion of src/ppl.hh defining that?
Say, from 20 lines before the definition to 20 lines after it.
Thanks,

    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