gnu: dico: Omit static libraries.

* gnu/packages/dico.scm (dico)[arguments]: Add ‘--disable-static’ to
the #:configure-flags.
This commit is contained in:
Tobias Geerinckx-Rice 2021-05-03 22:17:11 +02:00
parent dbfe885e11
commit 6332ad5470
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -50,7 +50,8 @@ (define-public dico
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
'(#:configure-flags (list (string-append "--with-guile-site-dir=" %output '(#: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") #:make-flags '("V=1")
#:phases (modify-phases %standard-phases #:phases (modify-phases %standard-phases
(add-before 'check 'silence-guile (add-before 'check 'silence-guile