The recently released SDE 7.15 for Linux seem to have 32-bit libraries instead of 64-bit in intel64/pin_ext_lib and intel64/xed_ext_lib. Is this an oversight or am I missing something?
Yes, you are right, apparently we modified our build system and these libraries are not really used which open the door for this mismatch.
We will fix this soon.
I updated the kit with the right libraries. The mismatch in the older version only affected the xed64 tool.
Thanks, the updated archive contains the correct libraries.
For more complete information about compiler optimizations, see our Optimization Notice.