From 6332ad5470ec88e1e443c12825abf9e8bea04154 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Mon, 3 May 2021 22:17:11 +0200
Subject: [PATCH] gnu: dico: Omit static libraries.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/dico.scm (dico)[arguments]: Add ‘--disable-static’ to
the #:configure-flags.
---
 gnu/packages/dico.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 @@ (define-public dico
     (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