Hi, dear arch developers,
Would you please update GCC packages?
The PPL package was updated(0.12-1 -> 0.12.1-1),
that cause gcc-multilib 4.7.0-4 can not run:
#sh> gcc main.c
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/cc1: error while loading shared libraries: libppl.so.10: cannot open shared object file: No such file or directory
#sh> ldd /usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/cc1
linux-vdso.so.1 => (0x00007fff00dff000)
libcloog-isl.so.3 => /usr/lib/libcloog-isl.so.3 (0x00007fa8949c3000)
libisl.so.9 => /usr/lib/libisl.so.9 (0x00007fa8946d8000)
libppl_c.so.4 => /usr/lib/libppl_c.so.4 (0x00007fa8940bc000)
libppl.so.10 => not found
libgmpxx.so.4 => /usr/lib/libgmpxx.so.4 (0x00007fa893eb7000)
libmpc.so.2 => /usr/lib/libmpc.so.2 (0x00007fa893ca2000)
libmpfr.so.4 => /usr/lib/libmpfr.so.4 (0x00007fa893a47000)
libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007fa8937d9000)
libdl.so.2 => /lib/libdl.so.2 (0x00007fa8935d5000)
libz.so.1 => /usr/lib/libz.so.1 (0x00007fa8933bf000)
libc.so.6 => /lib/libc.so.6 (0x00007fa89301e000)
libppl.so.11 => /usr/lib/libppl.so.11 (0x00007fa892d01000)
libstdc++.so.6 => /usr/lib/libstdc++.so.6 (0x00007fa8929fd000)
libm.so.6 => /lib/libm.so.6 (0x00007fa892708000)
libgcc_s.so.1 => /usr/lib/libgcc_s.so.1 (0x00007fa8924f3000)
/lib/ld-linux-x86-64.so.2 (0x00007fa894be8000)
Anyone can help ?
--
Brock Zheng