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 /nongnu/packages/coq.scm | |
| 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 'nongnu/packages/coq.scm')
| -rw-r--r-- | nongnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index de067ab..7558cd1 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -43,7 +43,7 @@ (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((system ,(match (or (%current-target-system) (%current-system)) - ("armhf-linux" "arm-linux") + ("armhf-linux" "arm-eabihf") ("i686-linux" "x86_32-linux") (s s)))) (format #t "Building for ~a~%" system) |