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 | |
parent | dbfe885e115a5205a98284b6040f70850746a948 (diff) | |
download | guix-6332ad5470ec88e1e443c12825abf9e8bea04154.tar.gz |
gnu: dico: Omit static libraries.
* gnu/packages/dico.scm (dico)[arguments]: Add ‘--disable-static’ to the #:configure-flags.
Diffstat (limited to 'gnu')
-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 |