aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-06-27 10:13:39 +0200
committerLudovic Courtès <ludo@gnu.org>2015-07-03 15:28:06 +0200
commit6a52df505ad7d6d5026ea616dc9cc48b31d65011 (patch)
tree818b4ea14f9226d9e4ec16646f34d022bfafa899 /gnu
parent3f289db69d8e3a75fb0beab4606c350133b8ace3 (diff)
downloadpatches-6a52df505ad7d6d5026ea616dc9cc48b31d65011.tar
patches-6a52df505ad7d6d5026ea616dc9cc48b31d65011.tar.gz
gnu: mysql: Remove unnecessary binaries.
This saves ~42 MiB on x86_64. * gnu/packages/databases.scm (mysql)[arguments]: Add 'remove-extra-binaries' phase.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/databases.scm10
1 files changed, 10 insertions, 0 deletions
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)