pin-server/0018-Build-Fix-strip-problem.patch
2023-03-07 11:41:20 +08:00

22 lines
609 B
Diff

From 3f7bcee573a1b504a151f491c12e26e752c68cea Mon Sep 17 00:00:00 2001
From: Mingchuan Wu <wumingchuan1992@foxmail.com>
Date: Mon, 6 Mar 2023 11:51:49 +0800
Subject: [PATCH 18/23] [Build] Fix strip problem.
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1cfb776..720bac9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -91,6 +91,7 @@ add_library(pin_user SHARED
target_link_libraries(pin_user
MLIRServerAPI
)
+add_custom_command(TARGET pin_user COMMAND strip libpin_user.so)
add_custom_command(TARGET pin_user COMMAND sha256sum libpin_user.so > libpin_user.sha256)
# pin_server
--
2.33.0