aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbarenblat@galois.com>2014-04-14 13:49:59 -0700
committerGravatar Benjamin Barenblat <bbarenblat@galois.com>2014-04-14 13:49:59 -0700
commit79baeabd91fc5e369d109c8350b7369283b0c607 (patch)
tree78b23748715c1884053ed000becb7bfff4670928 /INSTALL
parent857ad5fda8129d7b87b5bff781aacf48a37811e2 (diff)
Link against librt if necessaryHEADmaster
For a while, we were very confused why ppamltracer would work happily on some Debian systems but produce dynamic linker errors on other, similar ones. It turns out the difference was glibc versions – if you have glibc <2.17, you need to specify '-lrt' for one of the functions ppamltracer uses. This commit adds an Autoconf macro that adds that flag if necessary; it should improve portability in general as well.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions