pin-server/0018-Build-Fix-strip-problem.patch

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