[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/27: gnu: proof-general: Use INVOKE.
|
From: |
guix-commits |
|
Subject: |
02/27: gnu: proof-general: Use INVOKE. |
|
Date: |
Fri, 25 Jan 2019 07:21:30 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit a48d6acc23f426ca70e190e717a20cdb21df297f
Author: Ricardo Wurmus <address@hidden>
Date: Fri Jan 25 09:24:41 2019 +0100
gnu: proof-general: Use INVOKE.
* gnu/packages/coq.scm (proof-general)[arguments]: Use INVOKE in build
phases.
---
gnu/packages/coq.scm | 19 +++++++++----------
1 file changed, 9 insertions(+), 10 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 3a89881..97ed33d 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -155,17 +155,16 @@ It is developed using Objective Caml and Camlp5.")
"EMACS=" emacs "/bin/emacs")))
#t)))
(add-after 'unpack 'clean
- (lambda _
- ;; Delete the pre-compiled elc files for Emacs 23.
- (zero? (system* "make" "clean"))))
+ (lambda _
+ ;; Delete the pre-compiled elc files for Emacs 23.
+ (invoke "make" "clean")))
(add-after 'install 'install-doc
- (lambda* (#:key make-flags #:allow-other-keys)
- ;; XXX FIXME avoid building/installing pdf files,
- ;; due to unresolved errors building them.
- (substitute* "Makefile"
- ((" [^ ]*\\.pdf") ""))
- (zero? (apply system* "make" "install-doc"
- make-flags)))))))
+ (lambda* (#:key make-flags #:allow-other-keys)
+ ;; XXX FIXME avoid building/installing pdf files,
+ ;; due to unresolved errors building them.
+ (substitute* "Makefile"
+ ((" [^ ]*\\.pdf") ""))
+ (apply invoke "make" "install-doc" make-flags))))))
(home-page "http://proofgeneral.inf.ed.ac.uk/";)
(synopsis "Generic front-end for proof assistants based on Emacs")
(description
- 16/27: gnu: libxdg-basedir: Don't run autogen.sh manually., (continued)
- 16/27: gnu: libxdg-basedir: Don't run autogen.sh manually., guix-commits, 2019/01/25
- 18/27: gnu: brdf-explorer: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 24/27: gnu: dino: Update to 0.0-4.8e14ac6., guix-commits, 2019/01/25
- 15/27: gnu: entr: Update to 4.1., guix-commits, 2019/01/25
- 06/27: gnu: xfconf: Use INVOKE., guix-commits, 2019/01/25
- 21/27: gnu: ccl: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 17/27: gnu: ncftp: Use INVOKE., guix-commits, 2019/01/25
- 07/27: gnu: awesome: Use INVOKE., guix-commits, 2019/01/25
- 03/27: gnu: coq-gappa: Use INVOKE., guix-commits, 2019/01/25
- 01/27: gnu: eschalot: Use INVOKE., guix-commits, 2019/01/25
- 02/27: gnu: proof-general: Use INVOKE.,
guix-commits <=
- 05/27: gnu: libnl: Unconditionally return #T from build phases., guix-commits, 2019/01/25
- 08/27: gnu: wicd: Use INVOKE., guix-commits, 2019/01/25
- 04/27: gnu: coq-mathcomp: Use INVOKE., guix-commits, 2019/01/25
- 13/27: gnu: coq-coquelicot: Use INVOKE., guix-commits, 2019/01/25