diff options
| author | Timotej Lazar <timotej.lazar@araneo.si> | 2020-04-11 20:18:39 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.si> | 2020-04-11 20:18:39 +0200 |
| commit | 1b7a4319fa6b3f959cc925a6d713f0c111fb7c8f (patch) | |
| tree | ae6add1842826bea6df6f0e8d840228e5fb98016 /nonguix | |
| parent | 1892d626dd36d6b6d8553d03050afc7022e86c73 (diff) | |
nongnu: compcert: Build for arm-eabihf on arm.
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
Diffstat (limited to 'nonguix')
0 files changed, 0 insertions, 0 deletions