Roberto Bagnara wrote:

Sebastian Pop wrote:

...

On Tue, Dec 16, 2008 at 12:12 PM, Dominique Dhumieres dominiq@lps.ens.fr wrote:

...

Hi Sebastian,

I have done a "make check" in PPL with both gcc 4.3 and 4.4. I got 4 failing tests with 4.4. Before I fill a pr, did you see that?

I do not know of these problems. In general, if there are problems with PPL, please CC the PPL-devel mailing list.

Hi Dominique,

I would like to try to reproduce the failures you observe. What do you mean exactly by GCC 4.4? Is that the same as some revision of GCC's SVN trunk? If so, which one?

I have tried what was the head revision this morning, i.e., r142805, but `make bootstrap' failed:

[...] make[5]: Entering directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/32/libgcc' # If this is the top-level multilib, build all the other # multilibs. /usr/local/distrib/gcc/trunk/build/./gcc/xgcc -B/usr/local/distrib/gcc/trunk/build/./gcc/ -B/opt/beta/x86_64-unknown-linux-gnu/bin/ -B/opt/beta/x86_64-unknown-linux-gnu/lib/ -isystem /opt/beta/x86_64-unknown-linux-gnu/include -isystem /opt/beta/x86_64-unknown-linux-gnu/sys-include -g -O2 -m32 -O2 -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -Wcast-qual -Wold-style-definition -isystem ./include -fPIC -g -DHAVE_GTHR_DEFAULT -DIN_LIBGCC2 -D__GCC_FLOAT_NOT_NEEDED -I. -I. -I../../.././gcc -I../../../../gcc/libgcc -I../../../../gcc/libgcc/. -I../../../../gcc/libgcc/../gcc -I../../../../gcc/libgcc/../include -I../../../../gcc/libgcc/config/libbid -DENABLE_DECIMAL_BID_FORMAT -DHAVE_CC_TLS -DUSE_TLS -o _muldi3.o -MT _muldi3.o -MD -MP -MF _muldi3.dep -DL_muldi3 -c ../../../../gcc/libgcc/../gcc/libgcc2.c \ -fvisibility=hidden -DHIDE_EXPORTS In file included from /usr/include/features.h:359, from /usr/include/stdio.h:28, from ../../../../gcc/libgcc/../gcc/tsystem.h:90, from ../../../../gcc/libgcc/../gcc/libgcc2.c:33: /usr/include/gnu/stubs.h:7:27: error: gnu/stubs-32.h: No such file or directory make[5]: *** [_muldi3.o] Error 1 make[5]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/32/libgcc' make[4]: *** [multi-do] Error 1 make[4]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/libgcc' make[3]: *** [all-multi] Error 2 make[3]: Leaving directory `/usr/local/distrib/gcc/trunk/build/x86_64-unknown-linux-gnu/libgcc' make[2]: *** [all-stage1-target-libgcc] Error 2 make[2]: Leaving directory `/usr/local/distrib/gcc/trunk/build' make[1]: *** [stage1-bubble] Error 2 make[1]: Leaving directory `/usr/local/distrib/gcc/trunk/build' make: *** [bootstrap] Error 2

I am not sure how to proceed. All the best,

Roberto