diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-05-22 11:00:06 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-05-22 11:00:06 +0300 |
| commit | d8feee9f18ede0d1ea4d0e4876f09a0dab770295 (patch) | |
| tree | 461feed79e70a5043f92fb27d5ad4cd13f72825b /gnu | |
| parent | 0bdfae5363f01a2ad0954ea864ab604c5062fb33 (diff) | |
gnu: freeipmi: Don't build static libraries.
This shrinks the size of the package by about 33%.
* gnu/packages/freeipmi.scm (freeipmi)[arguments]: Add configure-flag to
disable static libraries.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/freeipmi.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/freeipmi.scm b/gnu/packages/freeipmi.scm index 4dd9cb7271..78ab287c5b 100644 --- a/gnu/packages/freeipmi.scm +++ b/gnu/packages/freeipmi.scm @@ -37,6 +37,8 @@ (base32 "1ncf1s84752xaq07h36wrxa5ww1167s2bizkww0igxv8djyddwk1")))) (build-system gnu-build-system) + (arguments + '(#:configure-flags '("--disable-static"))) (inputs `(("libgcrypt" ,libgcrypt))) (home-page "https://www.gnu.org/software/freeipmi/") |