diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-04-11 22:48:05 +0000 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-04-11 22:48:05 +0000 |
| commit | 40b62f7aafd2983db80adc3445a39d79a85100c2 (patch) | |
| tree | ae6add1842826bea6df6f0e8d840228e5fb98016 | |
| parent | 22450afd709b3c23e0082592f9981ed3e8c05aad (diff) | |
| parent | 1b7a4319fa6b3f959cc925a6d713f0c111fb7c8f (diff) | |
Merge branch 'fix-compcert' into 'master'
nongnu: compcert: Fix a non-exhaustive match.
See merge request nonguix/nonguix!22
| -rw-r--r-- | nongnu/packages/coq.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index e564dc0..7558cd1 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -43,9 +43,9 @@ (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((system ,(match (or (%current-target-system) (%current-system)) - ("x86_64-linux" "x86_64-linux") + ("armhf-linux" "arm-eabihf") ("i686-linux" "x86_32-linux") - ("armhf-linux" "arm-linux")))) + (s s)))) (format #t "Building for ~a~%" system) (invoke "./configure" system "-prefix" (assoc-ref outputs "out"))) @@ -62,6 +62,8 @@ (find-files "." ".*.vo$")) #t))) #:tests? #f)) + ;; MIPS is not supported. + (supported-systems (delete "mips64el-linux" %supported-systems)) (native-inputs `(("ocaml" ,ocaml) ("ocaml-findlib" ,ocaml-findlib); for menhir --suggest-menhirlib |