October 2008 - PPL-devel - BUGSENG Mailman

ppl/doc Makefile.am
by Enea Zaffanella 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-11 11:26:42 Modified files: doc : Makefile.am Log message: Prefer $(srcdir) to @srcdir@. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

Cygwin 1.7: signal handler not invoked (regression from 1.5)
by Roberto Bagnara 11 Oct '08

11 Oct '08

Hi there, the following shows a problem in Cygwin 1.7 that is not present in Cygwin 1.5: roberto@sissi /tmp $ cat bug.c #include <sys/time.h> #include <time.h> #include <signal.h> #include <stdio.h> volatile int alarm_called = 0; void alarm(int sig) { alarm_called = 1; } int main() { unsigned long i; struct itimerval it; it.it_interval.tv_sec = 0; it.it_interval.tv_usec = 0; /* 100,000 microseconds. */ it.it_value = (struct timeval) { 0, 100000 }; signal(SIGALRM, alarm); setitimer(ITIMER_REAL, &it, (struct itimerval *) 0); for (i = 0; i <= 2000000000; ++i) if (alarm_called) break; if (alarm_called) printf("alarm() called\n"); else printf("alarm() NOT called\n"); return 0; } roberto@sissi /tmp $ gcc -v Reading specs from /usr/lib/gcc/i686-pc-cygwin/3.4.4/specs Configured with: /usr/build/package/orig/test.respin/gcc-3.4.4-3/configure --verbose --prefix=/usr --exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-languages=c,ada,c++,d,f77,pascal,java,objc --enable-nls --without-included-gettext --enable-version-specific-runtime-libs --without-x --enable-libgcj --disable-java-awt --with-system-zlib --enable-interpreter --disable-libgcj-debug --enable-threads=posix --enable-java-gc=boehm --disable-win32-registry --enable-sjlj-exceptions --enable-hash-synchronization --enable-libstdcxx-debug Thread model: posix gcc version 3.4.4 (cygming special, gdc 0.12, using dmd 0.125) roberto@sissi /tmp $ gcc bug.c roberto@sissi /tmp $ time ./a.exe alarm() NOT called real 0m7.203s user 0m7.201s sys 0m0.015s roberto@sissi /tmp $ As you see, the alarm() function is not invoked as it should (and as it is in Cygwin 1.5). 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

2 2

ppl ./configure.repo Watchdog/configure.repo
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 10:56:50 Removed files: . : configure.repo Watchdog : configure.repo Log message: The configure.repo files do not solve the problem they were meant to solve. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.repo.diff?…

1 0

CVSROOT checkoutlist commitinfo
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2008-10-11 10:56:18 Modified files: . : checkoutlist commitinfo Log message: The configure.repo files do not solve the problem they were meant to solve. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/checkoutlist.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/commitinfo.diff?cvsroot=p…

1 0

ppl/Watchdog/tests Makefile.am
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 10:42:57 Modified files: Watchdog/tests : Makefile.am Log message: Avoid using $(builddir). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/Makefile.am.di…

1 0

ppl/doc ppl-config.1 ppl_lcdd.1 ppl_lpsol.1
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 10:21:56 Modified files: doc : ppl-config.1 ppl_lcdd.1 ppl_lpsol.1 Log message: Regenerated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1.diff?cvsroot=…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-11 10:07:57 Modified files: doc : Makefile.am Log message: Avoid annoying changes of directories when building the OCaml docs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-11 09:37:45 Modified files: tests/Box : propagateconstraints2.cc Log message: Previous change done to identify bug, reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 11 Oct '08

11 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-11 09:20:16 Modified files: . : configure.ac configure.repo Log message: The PWL is now enabled by default also on Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl/tests/Box propagateconstraints2.cc
by Patricia Hill 10 Oct '08

10 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-10 22:43:56 Modified files: tests/Box : propagateconstraints2.cc Log message: Restore a proper test result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0