summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2021-05-03 22:17:11 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2021-05-03 22:27:30 +0200
commit6332ad5470ec88e1e443c12825abf9e8bea04154 (patch)
treeeb1eb372ec70b79d28220760b28a9c410ee280cf /gnu/packages
parentdbfe885e115a5205a98284b6040f70850746a948 (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.scm3
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