[PPL-devel] setitimer functions

[Roberto Bagnara]

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

-- 
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