Why cc1 don't link a dynamic ppl.so?
Hello All
My question is motivated by GCC MELT, see
http://groups.google.com/group/gcc-melt/msg/dca97d5bf7f75040
On Debian/Sid, why is that cc1 (of gcc 4.6.1) don't link a dynamic ppl.so?
% ldd $(gcc -print-file-name=cc1)
linux-vdso.so.1 => (0x00007fffeddb1000)
libmpc.so.2 => /usr/lib/libmpc.so.2 (0x00007fbd8e486000)
libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 (0x00007fbd8e210000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007fbd8dfa1000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fbd8dd9d000)
libz.so.1 => /usr/lib/libz.so.1 (0x00007fbd8db85000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fbd8d800000)
/lib64/ld-linux-x86-64.so.2 (0x00007fbd8e69d000)
% dpkg -L libppl9
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/libppl9
/usr/share/doc/libppl9/BUGS
/usr/share/doc/libppl9/CREDITS.gz
/usr/share/doc/libppl9/README.gz
/usr/share/doc/libppl9/changelog.Debian.gz
/usr/share/doc/libppl9/NEWS.gz
/usr/share/doc/libppl9/copyright
/usr/share/doc/libppl9/changelog.gz
/usr/lib
/usr/lib/libppl.so.9.0.0
/usr/lib/libppl.so.9
It seems that in cc1 links a static library libppl.a
% nm -D $(gcc -print-file-name=cc1)|grep ppl_
0000000000ad9cd0 T debug_ppl_linear_expr
0000000000ad9da0 T debug_ppl_polyhedron_matrix
0000000000ad9db0 T debug_ppl_powerset_matrix
0000000000ad25b0 T new_Cloog_Domain_from_ppl_Pointset_Powerset
0000000000ad2560 T new_Cloog_Domain_from_ppl_Polyhedron
0000000000ad2120 T new_Cloog_Matrix_from_ppl_Polyhedron
0000000000ad25a0 T new_Cloog_Scattering_from_ppl_Polyhedron
0000000000ad9fd0 T ppl_build_relation
0000000000ad9690 T ppl_insert_dimensions
0000000000ad95d0 T ppl_insert_dimensions_pointset
0000000000ad9ae0 T ppl_lexico_compare_linear_expressions
0000000000ad9e10 T ppl_max_for_le_pointset
0000000000ad9ef0 T ppl_min_for_le_pointset
0000000000ada180 T ppl_powerset_is_empty
0000000000ad9c60 T ppl_print_linear_expr
0000000000ad9c10 T ppl_print_polyhedron_matrix
0000000000ad9ce0 T ppl_print_powerset_matrix
0000000000ad9dc0 T ppl_read_polyhedron_matrix
0000000000ad9500 T ppl_set_coef_gmp
0000000000ad9450 T ppl_set_inhomogeneous_gmp
0000000000ad9750 T ppl_strip_loop
Why not use libppl.so.9 in cc1?
Cheers
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***
Reply to: