diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:01 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-08 02:00:00 +0200 |
commit | 1115428bbb8f838eb4c06e39a129d85fa28eed25 (patch) | |
tree | 94c6a921427f3ec31c83dfcd87c2d2cb6c3b830a /gnu | |
parent | 38028fdf9520ee9544afcb89ae2ab840dbc261b8 (diff) |
gnu: recutils: Omit static libraries.
* gnu/packages/databases.scm (recutils)[arguments]:
Add "--disable-static" to #:configure-flags.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/databases.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm index 5e08c8bcdb..b7cbfa6536 100644 --- a/gnu/packages/databases.scm +++ b/gnu/packages/databases.scm @@ -1570,7 +1570,8 @@ organized in a hash table or B+ tree.") (build-system gnu-build-system) (arguments '(#:configure-flags - (list (string-append "--with-bash-headers=" + (list "--disable-static" + (string-append "--with-bash-headers=" (assoc-ref %build-inputs "bash:include") "/include/bash")))) |