[PPL-devel] Graphite/Cloog/PPL problems on Cygwin, HEAD broken maybe?

[Roberto Bagnara]

Dave Korn wrote:
>   Roberto, what does ldd show on the various cc1 binaries in the different
> stage directories of your most recent bootstrap?  I'm guessing you'll see that
> the stage 2 cc1 is linked against the system libstdc++ rather than the
> newly-bootstrapped one.

$ find . -name cc1
./prev-gcc/cc1
./gcc/cc1
./stage1-gcc/cc1
$ find . -name cc1 | xargs ldd
./prev-gcc/cc1:
	linux-vdso.so.1 =>  (0x00007fffb37ff000)
	libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
	libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
	libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x0000000002027000)
	libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
	libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00000000015e7000)
	libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
	libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
	libm.so.6 => /lib64/libm.so.6 (0x000000000278a000)
	libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x0000000001880000)
	/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)
./gcc/cc1:
	linux-vdso.so.1 =>  (0x00007fff4e3fe000)
	libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
	libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
	libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x0000000002fbc000)
	libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
	libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00000000064f1000)
	libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
	libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
	libm.so.6 => /lib64/libm.so.6 (0x0000000006d01000)
	libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x000000000110b000)
	/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)
./stage1-gcc/cc1:
	linux-vdso.so.1 =>  (0x00007fff7bdff000)
	libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
	libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
	libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x00007f9f736e1000)
	libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
	libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00007f9f734dc000)
	libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
	libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f9f73256000)
	libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f9f7303f000)
	/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)

This is from HEAD of 20 minutes ago.  Notice that I had to work around the
multiple definition of debug_value() you already reported.
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