summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsameruga <sameruga@iu.edu>2023-02-10 11:20:08 -0500
committersameruga <sameruga@iu.edu>2023-02-10 11:20:08 -0500
commit5e53d581f1dbef225dbb470326520f55b0b1e5e0 (patch)
tree55d625a245cbb860776af1648d4bc98ec87d2b7e
parentdef9cbea29a57c1a5a6e4bd52edd5b786a6d6212 (diff)
downloadMPC-5e53d581f1dbef225dbb470326520f55b0b1e5e0.tar.gz
chore:minor changes to build static tools in pin-3.26
-rw-r--r--config/pintool.mpb1
-rw-r--r--config/pintool_static.mpb5
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
}