From 1b7a4319fa6b3f959cc925a6d713f0c111fb7c8f Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.si>
Date: Sat, 11 Apr 2020 20:18:39 +0200
Subject: [PATCH] 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.
---
 nongnu/packages/coq.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)