[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/12: gnu: coq: INVOKE.
From: |
Tobias Geerinckx-Rice |
Subject: |
01/12: gnu: coq: INVOKE. |
Date: |
Fri, 14 Sep 2018 22:27:14 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 1d7cc6841e6a997a38acb6421e0592ab5b4749df
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Fri Sep 14 03:32:47 2018 +0200
gnu: coq: INVOKE.
* gnu/packages/ocaml.scm (coq)[arguments]: Substitute INVOKE for
SYSTEM*.
---
gnu/packages/ocaml.scm | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f21c2b2..9e73eab 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -486,16 +486,16 @@ written in Objective Caml.")
(let* ((out (assoc-ref outputs "out"))
(mandir (string-append out "/share/man"))
(browser "icecat -remote \"OpenURL(%s,new-tab)\""))
- (zero? (system* "./configure"
- "-prefix" out
- "-mandir" mandir
- "-browser" browser
- "-coqide" "opt")))))
+ (invoke "./configure"
+ "-prefix" out
+ "-mandir" mandir
+ "-browser" browser
+ "-coqide" "opt"))))
(replace 'build
(lambda _
- (zero? (system* "make" "-j" (number->string
- (parallel-job-count))
- "world"))))
+ (invoke "make"
+ "-j" (number->string (parallel-job-count))
+ "world")))
(delete 'check)
(add-after 'install 'check
(lambda _
@@ -505,7 +505,7 @@ written in Objective Caml.")
(delete-file-recursively "coq-makefile/timing")
;; This one fails because we didn't build coqtop.byte.
(delete-file-recursively "coq-makefile/findlib-package")
- (zero? (system* "make"))))))))
+ (invoke "make")))))))
(home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic")
(description
- branch master updated (9e9e5d5 -> 25bc637), Tobias Geerinckx-Rice, 2018/09/14
- 03/12: gnu: python-iso8601: Update to 0.1.12., Tobias Geerinckx-Rice, 2018/09/14
- 07/12: gnu: emacs-magit-popup: Update to 2.12.4., Tobias Geerinckx-Rice, 2018/09/14
- 12/12: gnu: snakemake: Update to 5.2.4., Tobias Geerinckx-Rice, 2018/09/14
- 10/12: gnu: libetpan: Update to 1.9.1., Tobias Geerinckx-Rice, 2018/09/14
- 09/12: gnu: libetpan: Don't use unstable tarball., Tobias Geerinckx-Rice, 2018/09/14
- 02/12: gnu: coq: Update to 8.8.1., Tobias Geerinckx-Rice, 2018/09/14
- 01/12: gnu: coq: INVOKE.,
Tobias Geerinckx-Rice <=
- 05/12: gnu: libwps: Update to 0.4.10., Tobias Geerinckx-Rice, 2018/09/14
- 11/12: gnu: libsigrokdecode: Update to 0.5.2., Tobias Geerinckx-Rice, 2018/09/14
- 08/12: gnu: emacs-magit-popup: Don't use unstable tarball., Tobias Geerinckx-Rice, 2018/09/14
- 04/12: gnu: umoci: Update to 0.4.2., Tobias Geerinckx-Rice, 2018/09/14
- 06/12: gnu: libmwaw: Update to 0.3.14., Tobias Geerinckx-Rice, 2018/09/14