September 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/MIP_Problem mipproblem2.cc
by Roberto Bagnara 30 Sep '07

30 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-30 23:11:47 Modified files: tests/MIP_Problem: mipproblem2.cc Log message: Timeout increased to 1 second. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2…

1 0

ppl ./NEWS ./configure.ac interfaces/Prolog/Ci ...
by Roberto Bagnara 30 Sep '07

30 Sep '07

1 0

ppl/tests/MIP_Problem mipproblem2.cc
by Roberto Bagnara 29 Sep '07

29 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-29 19:07:11 Modified files: tests/MIP_Problem: mipproblem2.cc Log message: test01 does not fail unless assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 29 Sep '07

29 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-29 13:32:41 Modified files: fedora : ppl.spec Log message: The value of the `License' tag is now `GPLv3+'. `ppl-swiprolog' dependency on `readline-devel' removed (again). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Enea Zaffanella 27 Sep '07

27 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-27 08:33:35 Modified files: demos/ppl_lpsol: Makefile.am Log message: List file do_not_output_location in MOSTLYCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol Makefile.am expected_mpz e ...
by Enea Zaffanella 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-26 21:10:52 Modified files: demos/ppl_lpsol: Makefile.am expected_mpz expected_mpz_a Log message: Do not output the optimum location for tests adlittle, boeing1, boeing2 and rout, since these may vary (without affecting the optimum value itself) depending on the computing platform. Expected results for mpz (with and without assertions) updated accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz_…

1 0

ppl/interfaces/Prolog/SICStus ppl_interface_ge ...
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 19:17:48 Modified files: interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 Log message: There is no need to include "pwl.hh" here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

Re: [PPL-devel] setitimer functions
by Roy Sfaradi 26 Sep '07

26 Sep '07

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(a)yahoo.com ----- Original Message ---- From: Roberto Bagnara <bagnara(a)cs.unipr.it> To: sfa_roy(a)yahoo.com Cc: The Parma Polyhedra Library developers' list <ppl-devel(a)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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it ____________________________________________________________________________________ Be a better Heartthrob. Get better relationship answers from someone who knows. Yahoo! Answers - Check it out. http://answers.yahoo.com/dir/?link=list&sid=396545433

3 2

ppl/interfaces/Prolog ppl_prolog_common.icc
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 19:10:27 Modified files: interfaces/Prolog: ppl_prolog_common.icc Log message: Support for systems where the Parma Watchdog Library is not available: on these systems, both ppl_set_timeout/1 and ppl_reset_timeout/0 fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl configure.ac
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 18:56:25 Modified files: . : configure.ac Log message: The preprocessor symbol WATCHDOG_LIBRARY_ENABLED is defined if and only if the Parma Watchdog Library is enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0