[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
12/13: gnu: dedukti: Fix reference to output.
From: |
guix-commits |
Subject: |
12/13: gnu: dedukti: Fix reference to output. |
Date: |
Fri, 20 Aug 2021 12:34:08 -0400 (EDT) |
mothacehe pushed a commit to branch core-updates-frozen
in repository guix.
commit e1ffd78270881e0c5b3f12a60a0caa75300557e7
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Fri Aug 20 14:48:48 2021 +0200
gnu: dedukti: Fix reference to output.
* gnu/packages/ocaml.scm
(dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
---
gnu/packages/ocaml.scm | 39 +++++++++++++++++----------------------
1 file changed, 17 insertions(+), 22 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e89c1ad..82ee34c 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4137,28 +4137,23 @@ cross-platform SDL C library.")
(build-system ocaml-build-system)
(arguments
`(#:phases
- (modify-phases %standard-phases
- (delete 'configure)
- (replace 'build
- (lambda _
- (invoke "make")
- #t))
- (replace 'check
- (lambda _
- (invoke "make" "tests")
- #t))
- (add-before 'install 'set-binpath
- ;; Change binary path in the makefile
- (lambda _
- (let ((out (assoc-ref %outputs "out")))
- (substitute* "GNUmakefile"
- (("BINDIR = (.*)$")
- (string-append "BINDIR = " out "/bin"))))
- #t))
- (replace 'install
- (lambda _
- (invoke "make" "install")
- #t)))))
+ ,#~(modify-phases %standard-phases
+ (delete 'configure)
+ (replace 'build
+ (lambda _
+ (invoke "make")))
+ (replace 'check
+ (lambda _
+ (invoke "make" "tests")))
+ (add-before 'install 'set-binpath
+ ;; Change binary path in the makefile
+ (lambda _
+ (substitute* "GNUmakefile"
+ (("BINDIR = (.*)$")
+ (string-append "BINDIR = " #$output "/bin")))))
+ (replace 'install
+ (lambda _
+ (invoke "make" "install"))))))
(synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of
the λ-calculus")
(description "Dedukti is a proof-checker for the λΠ-calculus modulo
- branch core-updates-frozen updated (cd5b2cf -> 1afe3c5), guix-commits, 2021/08/20
- 02/13: gnu: ocamlbuild: Fix reference to output., guix-commits, 2021/08/20
- 03/13: gnu: ocamlcudf: Fix reference to output., guix-commits, 2021/08/20
- 05/13: gnu: ocaml-cmdliner: Fix reference to output., guix-commits, 2021/08/20
- 06/13: gnu: ocaml-opam-file-format: Fix reference to output., guix-commits, 2021/08/20
- 08/13: gnu: ocaml-down: Fix reference to output., guix-commits, 2021/08/20
- 07/13: gnu: camlzip: Fix reference to output., guix-commits, 2021/08/20
- 09/13: gnu: ocaml-frontc: Fix reference to output., guix-commits, 2021/08/20
- 10/13: gnu: omake: Fix reference to output., guix-commits, 2021/08/20
- 04/13: gnu: ocaml-dose3: Fix reference to inputs and output., guix-commits, 2021/08/20
- 12/13: gnu: dedukti: Fix reference to output.,
guix-commits <=
- 13/13: gnu: python: Build lib2to3/tests module., guix-commits, 2021/08/20
- 01/13: gnu: ocaml: Fix reference to output., guix-commits, 2021/08/20
- 11/13: gnu: ocaml4.07-piqi: Fix reference to inputs and output., guix-commits, 2021/08/20