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

nongnu: compcert: Fix a non-exhaustive match.

Browse source 
* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so
that it can be evaluated on all systems.
[supported-systems]: Remove unsupported mips64el-linux.
This commit is contained in:
Timotej Lazar 2020-04-11 13:16:59 +02:00
parent 22450afd70
commit 1892d626dd
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
nongnu/packages/coq.scm
View file

@ -43,9 +43,9 @@
(replace 'configure (replace 'configure
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let ((system ,(match (or (%current-target-system) (%current-system)) (let ((system ,(match (or (%current-target-system) (%current-system))
("x86_64-linux" "x86_64-linux") ("armhf-linux" "arm-linux")
("i686-linux" "x86_32-linux") ("i686-linux" "x86_32-linux")
("armhf-linux" "arm-linux")))) (s s))))
(format #t "Building for ~a~%" system) (format #t "Building for ~a~%" system)
(invoke "./configure" system "-prefix" (invoke "./configure" system "-prefix"
(assoc-ref outputs "out"))) (assoc-ref outputs "out")))
@ -62,6 +62,8 @@
(find-files "." ".*.vo$")) (find-files "." ".*.vo$"))
#t))) #t)))
#:tests? #f)) #:tests? #f))
;; MIPS is not supported.
(supported-systems (delete "mips64el-linux" %supported-systems))
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)
("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib ("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib