From 6332ad5470ec88e1e443c12825abf9e8bea04154 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Mon, 3 May 2021 22:17:11 +0200 Subject: 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(-) (limited to 'gnu/packages') 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 -- cgit v1.2.3