#include "../../../PinTools/Include/pin.H"
We compile and link this into libpin.a. It creates a dependence on all the pintool header files, which triggers their autogeneration.