diff options
author | sameruga <sameruga@iu.edu> | 2023-02-10 11:20:08 -0500 |
---|---|---|
committer | sameruga <sameruga@iu.edu> | 2023-02-10 11:20:08 -0500 |
commit | 5e53d581f1dbef225dbb470326520f55b0b1e5e0 (patch) | |
tree | 55d625a245cbb860776af1648d4bc98ec87d2b7e | |
parent | def9cbea29a57c1a5a6e4bd52edd5b786a6d6212 (diff) | |
download | MPC-5e53d581f1dbef225dbb470326520f55b0b1e5e0.tar.gz |
chore:minor changes to build static tools in pin-3.26
-rw-r--r-- | config/pintool.mpb | 1 | ||||
-rw-r--r-- | config/pintool_static.mpb | 5 |
2 files changed, 1 insertions, 5 deletions
diff --git a/config/pintool.mpb b/config/pintool.mpb index d38cf633..c13ca704 100644 --- a/config/pintool.mpb +++ b/config/pintool.mpb @@ -30,6 +30,7 @@ project : pin { LDFLAGS -= -lpthread else CPPFLAGS += -DTARGET_LINUX -Wl,--hash-style=sysv + LIBS += -lpindwarf LDFLAGS += -Wl,-Bsymbolic -Wl,--version-script=$(PIN_ROOT)/source/include/pin/pintool.ver endif } diff --git a/config/pintool_static.mpb b/config/pintool_static.mpb index e56021c5..5496dd65 100644 --- a/config/pintool_static.mpb +++ b/config/pintool_static.mpb @@ -1,9 +1,4 @@ project : pin_static { - specific (gnuace, make) { - libs += c-static os-apis - libs -= c-dynamic m-dynamic stlport-dynamic unwind-dynamic xed - } - verbatim (make, top) { no_hidden_visibility = 1 } |