Help with BLDTYPE=pin #1
Description
Hi,
Thank you for sharing such an useful tool. But after I make it, I only have a mic.so instead of MultiCacheSimPinDriver.so. And when I try to run it with the command ../pintool/pin.sh -inline 0 -injection child -ifeellucky -mt -t obj-intel64/mcs.so -csize 65536 -bsize 64 -assoc 2 -numcaches 16 -protos MSI -- python hello.py, I got the error "dlerror: obj-intel64/MSI_SMPCache.so". So could you kindly tell me how to generate MSI_SMPCache.so? I really can't understand BLDTYPE=pin.
Thank you~