[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#50134] [PATCH core-updates-frozen 12/12] gnu: dedukti: Fix referenc
From: |
Maxime Devos |
Subject: |
[bug#50134] [PATCH core-updates-frozen 12/12] gnu: dedukti: Fix reference to output. |
Date: |
Fri, 20 Aug 2021 14:48:48 +0200 |
* gnu/packages/ocaml.scm
(dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t.
---
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 e89c1adbb9..82ee34c542 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
--
2.33.0
- [bug#50134] [PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures, Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 01/12] gnu: ocaml: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 03/12] gnu: ocamlcudf: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 06/12] gnu: ocaml-opam-file-format: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 02/12] gnu: ocamlbuild: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 04/12] gnu: ocaml-dose3: Fix reference to inputs and output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 05/12] gnu: ocaml-cmdliner: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 08/12] gnu: ocaml-down: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 11/12] gnu: ocaml4.07-piqi: Fix reference to inputs and output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 12/12] gnu: dedukti: Fix reference to output.,
Maxime Devos <=
- [bug#50134] [PATCH core-updates-frozen 07/12] gnu: camlzip: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 09/12] gnu: ocaml-frontc: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 10/12] gnu: omake: Fix reference to output., Maxime Devos, 2021/08/20
- [bug#50134] [PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures, Julien Lepiller, 2021/08/20
- bug#50134: [PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures, Mathieu Othacehe, 2021/08/20