From 1b7a4319fa6b3f959cc925a6d713f0c111fb7c8f Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Sat, 11 Apr 2020 20:18:39 +0200 Subject: 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(-) (limited to 'nongnu/packages/coq.scm') 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) -- cgit v1.2.3