diff options
| author | Marius Bakke <marius@gnu.org> | 2022-07-05 23:53:35 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-07-06 00:35:17 +0200 |
| commit | eb32bcea32c419f7b501fe292535d4b65d6031d6 (patch) | |
| tree | d3c5c51c905d0d4fa04cfb5f0cd734c6b9189bc4 /etc/guix-gc.timer | |
| parent | f12ca428b866c25a3cd9740d9e471e06b8bcaef3 (diff) | |
| download | guix-eb32bcea32c419f7b501fe292535d4b65d6031d6.tar.gz | |
gnu: Boost: Use #:configure-flags.
* gnu/packages/boost.scm (boost)[arguments]: Add #:configure-flags. Adjust configure phase accordingly. Split out shell patching to separate phase. While at it, remove obsolete GNU/Hurd substitution. (boost-for-mysql)[arguments]: Adjust accordingly.
Diffstat (limited to 'etc/guix-gc.timer')
0 files changed, 0 insertions, 0 deletions