From f7fc78598c1a76dbc5fa268a307767dd0324c169 Mon Sep 17 00:00:00 2001
From: Arnaud Diederen <Arnaud Diederen arnaud@hex-rays.com>
Date: Fri, 8 Jan 2016 16:20:42 +0100
Subject: [PATCH] Fix 'dist' phase on linux (strip binaries)

---
 makefile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/makefile b/makefile
index 913d594..9cad7cf 100644
--- a/makefile
+++ b/makefile
@@ -145,7 +145,7 @@ SWIGFLAGS=$(_SWIGFLAGS) $(SWIGINCLUDES)
 
 ADDITIONAL_LIBS=$(PYTHONLIB)
 
-.PHONY: pyfiles docs $(TEST_IDC) staging_dirs clean check_python dist dist_dirs dist_bin dist_cfg package
+.PHONY: pyfiles docs $(TEST_IDC) staging_dirs clean check_python dist dist_dirs dist_cfg package
 config: $(C)python.cfg
 
 clean:
@@ -374,10 +374,14 @@ DIST_OTHER_TARGETS=$(DIST_OTHER_SOURCES:%=$(DIST)/%)
 $(DIST)/%: % | dist_dirs
 	@$(CP) $^ $@ && chmod +rw $@
 
-dist_bin: $(BINARY) | dist_dirs
-	$(CP) $? $(DIST)/plugins/
+DIST_BINARY=$(DIST)/plugins/$(PROC)$(PLUGIN)
+$(DIST_BINARY): $(BINARY) | dist_dirs
+	$(CP) $? $@
+ifdef __LINUX__
+	strip $@
+endif
 
-dist: $(BINARY) pyfiles $(DIST_OTHER_TARGETS) | dist_bin dist_cfg
+dist: $(BINARY) pyfiles $(DIST_OTHER_TARGETS) $(DIST_BINARY) dist_cfg | dist_dirs
 	# rsync -a docs $(DIST)/
 	rsync -a examples $(DIST)/
 	rsync -a python $(DIST)/