diff options
| author | Marius Bakke <marius@gnu.org> | 2021-06-19 14:17:52 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-06-19 17:09:51 +0200 |
| commit | 657aaa7be48c924333be70fac9f1224a26abc484 (patch) | |
| tree | a5ee72c12393381ddf1afbdb91f279c76978c119 /gnu/packages/lean.scm | |
| parent | fbee3e134bc2ac22f6680d35a443b34c9606059e (diff) | |
gnu: efivar: Adjust for GCC 10.
* gnu/packages/patches/efivar-gcc-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/linux.scm (efivar)[source](patches, modules, snippet): New
fields.
[arguments]: Use CC-FOR-TARGET while at it.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions