Καλησπέρα,
Όταν κάνω make (ακριβώς μετά την εντολή export PIN_HOME=/path/to/pin-2.14-71313-gcc.4.4.7-linux/, με σωστό το path) μου βγαίνουν errors του τύπου:
sniper-6.1/pin-2.14-71313-gcc.4.4.7-linux//source/include/pin/compiler_version_check2.H:102:2:
error: #error The C++ ABI of your compiler does not match the ABI of
the pin kit.
#error The C++ ABI of your compiler does not match the ABI of the pin kit.
και
sniper-6.1/pin-2.14-71313-gcc.4.4.7-linux//source/include/pin/compiler_version_check2.H:117:2:
error: #error This kit requires gcc 3.4 or later
#error This kit requires gcc 3.4 or later
όμως όταν βλέπω την έκδοση του gcc (gcc --version) βλέπω ότι έχω την έκδοση 5.4.0
(gcc --version
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609)
Το πρόβλημα ποιό είναι; Να προσπαθήσω να κάνω downgrade σε 3.4 ή να κάνω update στην τελευταία έκδοση (7.1) ή να κάνω κάτι άλλο;