diff options
author | James H. Hill <hillj@cs.iupui.edu> | 2015-10-16 20:13:21 -0400 |
---|---|---|
committer | James H. Hill <hillj@cs.iupui.edu> | 2015-10-16 20:13:21 -0400 |
commit | 8117c41e5301e8a54a7f1bb8e6c75232b48c6150 (patch) | |
tree | b24b9e9a05cc65a39ba96abe262d2241dc7448a8 /config | |
parent | 3a2a8c1d253727735c6da5b66cc5eb8af9f947a3 (diff) | |
download | MPC-8117c41e5301e8a54a7f1bb8e6c75232b48c6150.tar.gz |
Testing potential fix for building static tools on Linux
Diffstat (limited to 'config')
-rw-r--r-- | config/pintool_static.mpb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/pintool_static.mpb b/config/pintool_static.mpb index 409c5875..6ce20c03 100644 --- a/config/pintool_static.mpb +++ b/config/pintool_static.mpb @@ -13,10 +13,10 @@ project : pin_static { LDFLAGS += -lpindwarf -lpinpthread LDFLAGS -= -lpthread else - # TODO Add support for linking against gcc libraries included with Pin CPPFLAGS += -DTARGET_LINUX - LDLIBS += -lpindwarf LDFLAGS += -Wl,--hash-style=sysv -Wl,-Bsymbolic + LDFLAGS -= -ldl -lpthread + LDLIBS += -lpindwarf -ldl endif } |