diff options
Diffstat (limited to 'nongnu/packages/coq.scm')
| -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..de067ab 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-linux") ("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 |