Apparently, we are also using the timer functionality in a couple of places in the main PPL library, i.e., not just inside the Parma Watchdog Library, so that disabling the latter is not enough.

The functionality is *not* strictly needed (it is used just in a couple of tests and in a demo application), so I guess we will make these to be conditionally compiled in the near future.

For the near present, I suggest you go for the first option pointed out by Roberto (i.e., use Cygwin).

Cheers, Enea.

Roy Sfaradi wrote:

Hello Roberto,

Thanks for your reply.

I've tried the --disable-watchdog (and --without-watchdog) option. The configure executed without errors, but, when I tried make I got the following error:

timings.cc: In function `void start_clock()': timings.cc:50: error: aggregate `rusage rsg' has incomplete type and cannot be defined timings.cc:51: error: `RUSAGE_SELF' undeclared (first use this function) timings.cc:51: error: (Each undeclared identifier is reported only once for each function it appears in.) timings.cc:51: error: `getrusage' undeclared (first use this function) timings.cc: In function `void print_clock(std::ostream&)': timings.cc:61: error: aggregate `rusage rsg' has incomplete type and cannot be defined timings.cc:62: error: `RUSAGE_SELF' undeclared (first use this function) timings.cc:62: error: `getrusage' undeclared (first use this function) make[2]: *** [timings.o] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2

---

I guess this error is for similar reason...

Regards,

Ro'ee Sfaradi sfa_roy@yahoo.com

----- Original Message ---- From: Roberto Bagnara bagnara@cs.unipr.it To: sfa_roy@yahoo.com Cc: The Parma Polyhedra Library developers' list ppl-devel@cs.unipr.it Sent: Saturday, September 22, 2007 6:45:20 PM Subject: Re: setitimer functions

Ro'ee Sfaradi wrote:

...

Hello all,

I'm kinda new to MinGW and Msys.

I'm trying to compile a package called ppl (The Parma Polyhedra Library) in msys environment.

When I'm run the ./configure after it runs a bit, I get the following message :

---

configure: error: CANNOT BUILD THE WATCHDOG LIBRARY *** THE SYSTEM DOES NOT PROVIDE THE SETITIMER FUNCTION. configure: error: /bin/sh './configure' failed for Watchdog

---

I searched over FAQs and googled and didn't find any hint about it. Is it something I need to install to have the timer support on msys?

Thanks in advance, Ro'ee

Dear Ro'ee,

one possibility is to use Cygwin. Another possibility, if you do not need the functionalities provided by the Parma Watchdog Library, is to configure the PPL with the option --disable-watchdog. All the best,

 Roberto