diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-05-03 22:17:11 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-05-03 22:27:30 +0200 |
| commit | 6332ad5470ec88e1e443c12825abf9e8bea04154 (patch) | |
| tree | eb1eb372ec70b79d28220760b28a9c410ee280cf /gnu/packages | |
| parent | dbfe885e115a5205a98284b6040f70850746a948 (diff) | |
gnu: dico: Omit static libraries.
* gnu/packages/dico.scm (dico)[arguments]: Add ‘--disable-static’ to
the #:configure-flags.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/dico.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/dico.scm b/gnu/packages/dico.scm index cbf0d22313..fb97ee3d85 100644 --- a/gnu/packages/dico.scm +++ b/gnu/packages/dico.scm @@ -50,7 +50,8 @@ (build-system gnu-build-system) (arguments '(#:configure-flags (list (string-append "--with-guile-site-dir=" %output - "/share/guile/site/2.0")) + "/share/guile/site/2.0") + "--disable-static") #:make-flags '("V=1") #:phases (modify-phases %standard-phases (add-before 'check 'silence-guile |