diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-26 00:04:17 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-26 04:22:50 +0100 |
| commit | 4491c624dd4a0af52873e9884ab8240cf09936e3 (patch) | |
| tree | 7b34377f44fc7f54811b6c3e6e697d71e2595766 /gnu/packages/lean.scm | |
| parent | 13e55e6eeba5fda7bfee491bce15e52a22fbe91c (diff) | |
| download | guix-patches-4491c624dd4a0af52873e9884ab8240cf09936e3.tar guix-patches-4491c624dd4a0af52873e9884ab8240cf09936e3.tar.gz | |
gnu: igraph: Omit static library.
* gnu/packages/graph.scm (igraph)[arguments]: Add "--disable-static"
to #:configure-flags.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions