diff options
Diffstat (limited to 'config/pintool_static.mpb')
| -rw-r--r-- | config/pintool_static.mpb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/config/pintool_static.mpb b/config/pintool_static.mpb index e9301b22..c55fe0c5 100644 --- a/config/pintool_static.mpb +++ b/config/pintool_static.mpb @@ -13,9 +13,8 @@ project : pin_static { LDFLAGS -= -lpthread else CPPFLAGS += -DTARGET_LINUX - LDFLAGS += -Wl,--hash-style=sysv -Wl,-Bsymbolic - LDFLAGS -= -ldl -lpthread - LDLIBS += -lpindwarf -ldl + LDFLAGS += -Wl,--hash-style=sysv -Wl,-Bsymbolic,$(PIN_ROOT)/intel64/runtime/pincrt/crtbegin.o $(PIN_ROOT)/intel64/runtime/pincrt/crtend.o + LDLIBS += -nostdlib -ldl-dynamic -lpindwarf endif } @@ -26,7 +25,6 @@ project : pin_static { else # TODO Add support for linking against gcc libraries included with Pin CPPFLAGS += -DTARGET_LINUX - LIBS += -lpindwarf LDFLAGS += -Wl,--hash-style=sysv -Wl,-Bsymbolic endif } |