diff options
| author | Andreas Enge <andreas@enge.fr> | 2025-07-21 20:43:19 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-07-21 20:43:19 +0200 |
| commit | ebf6e99022738efb0ebb1c4c9a780afb41367e5d (patch) | |
| tree | b70ec6feb0c049f738aeeb3493667af07deab85c /gnu/packages/patches/ccextractor-add-missing-header.patch | |
| parent | d04a3407b9fabd6c2a65922e6251d195654d283b (diff) | |
gnu: spike: Fix build with gcc@14.
* gnu/packages/virtualization.scm (spike)[arguments]<#:phases>{'gcc14}:
New phase.
Change-Id: I363875fb17c5e0d23037eee4c5023bc563367c4b
Diffstat (limited to 'gnu/packages/patches/ccextractor-add-missing-header.patch')
0 files changed, 0 insertions, 0 deletions