summaryrefslogtreecommitdiff
path: root/config/pin_static.mpb
diff options
context:
space:
mode:
authorsameruga <sameruga@iu.edu>2023-02-10 11:07:34 -0500
committersameruga <sameruga@iu.edu>2023-02-10 11:07:34 -0500
commitdef9cbea29a57c1a5a6e4bd52edd5b786a6d6212 (patch)
treee0d39e153398d906fcf7787e4e5e9d80e1b9d619 /config/pin_static.mpb
parentfa040f2b1e7459119c23d94b18aa0529e5375b3d (diff)
downloadMPC-def9cbea29a57c1a5a6e4bd52edd5b786a6d6212.tar.gz
chore: added support for static tools in pin-3.26
Diffstat (limited to 'config/pin_static.mpb')
-rw-r--r--config/pin_static.mpb1
1 files changed, 1 insertions, 0 deletions
diff --git a/config/pin_static.mpb b/config/pin_static.mpb
index fc257ad7..6d53d0b3 100644
--- a/config/pin_static.mpb
+++ b/config/pin_static.mpb
@@ -1,4 +1,5 @@
project : pin {
+requires += static
specific (!prop:windows) {
libs += sapin
libs -= pin