Hi, 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 regards, Krzysztof Jakubczyk
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? 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@cs.unipr.it
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? All the best,
Roberto
Hi Roberto, 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 regards, Krzyszof
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@cs.unipr.it
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. regards, Krzysztof Jakubczyk
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@cs.unipr.it
On 2009-11-23 21:37, Roberto Bagnara wrote:
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
From src/Makefile I can see that ppl.hh is generated from ppl.hh.dist (just a copy?), which is present in the sources - seems not to be generated. This is the part responsible: /* Define to 1 if you have the <signal.h> header file. */ #define PPL_HAVE_SIGNAL_H 1 /* Define to 1 if you have the <stdint.h> header file. */ #define PPL_HAVE_STDINT_H 1 /* Define to 1 if you have the <stdlib.h> header file. */ #define PPL_HAVE_STDLIB_H 1 /* Define to 1 if you have the <strings.h> header file. */ #define PPL_HAVE_STRINGS_H 1 /* 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. */ #define PPL_HAVE_SYS_RESOURCE_H 1 /* Define to 1 if you have the <sys/stat.h> header file. */ #define PPL_HAVE_SYS_STAT_H 1 /* Define to 1 if you have the <sys/time.h> header file. */ #define PPL_HAVE_SYS_TIME_H 1 /* Define to 1 if you have the <sys/types.h> header file. */ #define PPL_HAVE_SYS_TYPES_H 1 /* Define to 1 if the system has the type `timeval'. */ #define PPL_HAVE_TIMEVAL 1 /* Define to 1 if typeof works with your compiler. */ #define PPL_HAVE_TYPEOF 1
Krzysztof Jakubczyk wrote:
On 2009-11-23 21:37, Roberto Bagnara wrote:
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
From src/Makefile I can see that ppl.hh is generated from ppl.hh.dist (just a copy?), which is present in the sources - seems not to be generated. This is the part responsible:
/* Define to 1 if you have the <signal.h> header file. */ #define PPL_HAVE_SIGNAL_H 1
/* Define to 1 if you have the <stdint.h> header file. */ #define PPL_HAVE_STDINT_H 1
/* Define to 1 if you have the <stdlib.h> header file. */ #define PPL_HAVE_STDLIB_H 1
/* Define to 1 if you have the <strings.h> header file. */ #define PPL_HAVE_STRINGS_H 1
/* 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. */ #define PPL_HAVE_SYS_RESOURCE_H 1
/* Define to 1 if you have the <sys/stat.h> header file. */ #define PPL_HAVE_SYS_STAT_H 1
/* Define to 1 if you have the <sys/time.h> header file. */ #define PPL_HAVE_SYS_TIME_H 1
/* Define to 1 if you have the <sys/types.h> header file. */ #define PPL_HAVE_SYS_TYPES_H 1
/* Define to 1 if the system has the type `timeval'. */ #define PPL_HAVE_TIMEVAL 1
/* Define to 1 if typeof works with your compiler. */ #define PPL_HAVE_TYPEOF 1
Hmmm, so you don't have perl, right? If you cannot install perl then I am afraid you have to manually edit ppl.hh.dist. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
On 2009-11-23 21:58, Roberto Bagnara wrote:
Krzysztof Jakubczyk wrote:
On 2009-11-23 21:37, Roberto Bagnara wrote:
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
From src/Makefile I can see that ppl.hh is generated from ppl.hh.dist (just a copy?), which is present in the sources - seems not to be generated. This is the part responsible:
/* Define to 1 if you have the <signal.h> header file. */ #define PPL_HAVE_SIGNAL_H 1
/* Define to 1 if you have the <stdint.h> header file. */ #define PPL_HAVE_STDINT_H 1
/* Define to 1 if you have the <stdlib.h> header file. */ #define PPL_HAVE_STDLIB_H 1
/* Define to 1 if you have the <strings.h> header file. */ #define PPL_HAVE_STRINGS_H 1
/* 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. */ #define PPL_HAVE_SYS_RESOURCE_H 1
/* Define to 1 if you have the <sys/stat.h> header file. */ #define PPL_HAVE_SYS_STAT_H 1
/* Define to 1 if you have the <sys/time.h> header file. */ #define PPL_HAVE_SYS_TIME_H 1
/* Define to 1 if you have the <sys/types.h> header file. */ #define PPL_HAVE_SYS_TYPES_H 1
/* Define to 1 if the system has the type `timeval'. */ #define PPL_HAVE_TIMEVAL 1
/* Define to 1 if typeof works with your compiler. */ #define PPL_HAVE_TYPEOF 1
Hmmm, so you don't have perl, right? If you cannot install perl then I am afraid you have to manually edit ppl.hh.dist.
Ok, seems that lack of perl was the problem :). There was no information it may cause problems - only warning about C interface I believe - so I thought there was an error in PPL. Sorry for trouble.
participants (2)
-
Krzysztof Jakubczyk -
Roberto Bagnara