From 6a52df505ad7d6d5026ea616dc9cc48b31d65011 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Sat, 27 Jun 2015 10:13:39 +0200
Subject: gnu: mysql: Remove unnecessary binaries.

This saves ~42 MiB on x86_64.

* gnu/packages/databases.scm (mysql)[arguments]: Add 'remove-extra-binaries'
  phase.
---
 gnu/packages/databases.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm
index 5185e3ee7f..55b155ff2e 100644
--- a/gnu/packages/databases.scm
+++ b/gnu/packages/databases.scm
@@ -145,6 +145,16 @@ SQL, Key/Value, XML/XQuery or Java Object storage for their data model.")
                                  (list (string-append out "/bin/mysqlbug")
                                        (string-append
                                         out "/share/mysql/docs/INFO_BIN")))
+                       #t)))
+                  (add-after
+                   'install 'remove-extra-binaries
+                   (lambda* (#:key outputs #:allow-other-keys)
+                     (let ((out (assoc-ref outputs "out")))
+                       ;; Remove the 3 *_embedded files, which weigh in at
+                       ;; 14 MiB each.
+                       (for-each delete-file
+                                 (find-files (string-append out "/bin")
+                                             "_embedded$"))
                        #t))))))
     (native-inputs
      `(("bison" ,bison)
-- 
cgit v1.2.3