diff options
author | Eric Bavier <bavier@posteo.net> | 2022-04-18 22:40:10 -0500 |
---|---|---|
committer | Eric Bavier <bavier@posteo.net> | 2022-04-20 08:35:48 -0500 |
commit | ae6cd99573433cd6067e0f9bafec23306376e690 (patch) | |
tree | e1babc5396168b1893857f0ef15393d7f1950077 /gnu/local.mk | |
parent | b2a66e107170dab414f3f1e9dd0fe1c354b6e514 (diff) | |
download | guix-patches-ae6cd99573433cd6067e0f9bafec23306376e690.tar guix-patches-ae6cd99573433cd6067e0f9bafec23306376e690.tar.gz |
gnu: idris: Use cc-for-target.
* gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of
"gcc".
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions