Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-12-23 15:24:52 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: compcert: Build for arm-eabihf on arm.

Browse source 
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
This commit is contained in:
Timotej Lazar 2020-04-11 20:18:39 +02:00
parent 1892d626dd
commit 1b7a4319fa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nongnu/packages/coq.scm
View file

@ -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)