diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-05-15 11:38:50 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-07-13 18:58:53 +0200 |
| commit | 5981e99f0a643e30e7af0f0a07f0034d363a843f (patch) | |
| tree | 8289ec6b33840c35bf7f1d099fd3d7f8dcecb647 /gnu/build | |
| parent | 451b2db3dfc312e750e8c6e38cf5e25ac7579f1f (diff) | |
gnu: hurd: Add rumpkernel.
* gnu/packages/patches/hurd-fix-rumpdisk-build.patch,
gnu/packages/patches/hurd-rumpdisk-no-hd.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/hurd.scm (hurd): Use them.
(hurd)[inputs]: Replace util-linux with util-linux:static, add parted,
rumpkernel.
[arguments]: Rename `prepare-dde' phase to 'prepare-addons'. Add "rumpdisk"
directory. Add --enable-static-progs=... option to #:configure-flags, and
remove --without-parted.
Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions