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

Merge branch 'fix-compcert' into 'master'

Browse source 
nongnu: compcert: Fix a non-exhaustive match.

See merge request nonguix/nonguix!22
This commit is contained in:
Alex Griffin 2020-04-11 22:48:05 +00:00
commit 40b62f7aaf
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-eabihf")
("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