me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq: INVOKE.

Browse source 
* gnu/packages/ocaml.scm (coq)[arguments]: Substitute INVOKE for
SYSTEM*.
This commit is contained in:
Tobias Geerinckx-Rice 2018-09-14 03:32:47 +02:00
parent 9e9e5d5a26
commit 1d7cc6841e
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gnu/packages/ocaml.scm
View file

@ -486,16 +486,16 @@ written in Objective Caml.")
(let* ((out (assoc-ref outputs "out")) (let* ((out (assoc-ref outputs "out"))
(mandir (string-append out "/share/man")) (mandir (string-append out "/share/man"))
(browser "icecat -remote \"OpenURL(%s,new-tab)\"")) (browser "icecat -remote \"OpenURL(%s,new-tab)\""))
(zero? (system* "./configure" (invoke "./configure"
"-prefix" out "-prefix" out
"-mandir" mandir "-mandir" mandir
"-browser" browser "-browser" browser
"-coqide" "opt"))))) "-coqide" "opt"))))
(replace 'build (replace 'build
(lambda _ (lambda _
(zero? (system* "make" "-j" (number->string (invoke "make"
(parallel-job-count)) "-j" (number->string (parallel-job-count))
"world")))) "world")))
(delete 'check) (delete 'check)
(add-after 'install 'check (add-after 'install 'check
(lambda _ (lambda _
@ -505,7 +505,7 @@ written in Objective Caml.")
(delete-file-recursively "coq-makefile/timing") (delete-file-recursively "coq-makefile/timing")
;; This one fails because we didn't build coqtop.byte. ;; This one fails because we didn't build coqtop.byte.
(delete-file-recursively "coq-makefile/findlib-package") (delete-file-recursively "coq-makefile/findlib-package")
(zero? (system* "make")))))))) (invoke "make")))))))
(home-page "https://coq.inria.fr") (home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic") (synopsis "Proof assistant for higher-order logic")
(description (description