diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-07-19 11:09:04 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-19 11:33:02 +0200 |
| commit | a388c951ddb9fb0d30a6c8ea24fed035247baecb (patch) | |
| tree | 5cd23703d525622b3391a62d812817704e100c53 /gnu/packages/gnome.scm | |
| parent | 644e5f17dfd2f5b3bbf656580d6f1f84c52e668a (diff) | |
gnu: totem: Do not build static libraries.
* gnu/packages/gnome.scm (totem)[arguments]: Pass "--disable-static".
This reduces the size of Totem from 11 MiB to 9 MiB.
Diffstat (limited to 'gnu/packages/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index c959d54da6..345dc6a748 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3495,7 +3495,11 @@ for application developers.") (arguments `(;; Disable automatic GStreamer plugin installation via PackageKit and ;; all that. - #:configure-flags '("--disable-easy-codec-installation") + #:configure-flags '("--disable-easy-codec-installation" + + ;; Do not build .a files for the plugins, it's + ;; completely useless. This saves 2 MiB. + "--disable-static") #:phases (modify-phases %standard-phases |