ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-07 11:54:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: dedukti: Fix reference to output.

Browse source 
* gnu/packages/ocaml.scm
  (dedukti)[arguments]<#:phases>: Use #$output.  Remove trailing #t.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
This commit is contained in:
Maxime Devos 2021-08-20 14:48:48 +02:00 committed by Mathieu Othacehe
parent 8717b34cd4
commit e1ffd78270
No known key found for this signature in database
GPG key ID: 8354763531769CA6
1 changed files with 17 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

39
gnu/packages/ocaml.scm
View file

@ -4137,28 +4137,23 @@ (define-public dedukti
(build-system ocaml-build-system) (build-system ocaml-build-system)
(arguments (arguments
`(#:phases `(#:phases
(modify-phases %standard-phases ,#~(modify-phases %standard-phases
(delete 'configure) (delete 'configure)
(replace 'build (replace 'build
(lambda _ (lambda _
(invoke "make") (invoke "make")))
#t)) (replace 'check
(replace 'check (lambda _
(lambda _ (invoke "make" "tests")))
(invoke "make" "tests") (add-before 'install 'set-binpath
#t)) ;; Change binary path in the makefile
(add-before 'install 'set-binpath (lambda _
;; Change binary path in the makefile (substitute* "GNUmakefile"
(lambda _ (("BINDIR = (.*)$")
(let ((out (assoc-ref %outputs "out"))) (string-append "BINDIR = " #$output "/bin")))))
(substitute* "GNUmakefile" (replace 'install
(("BINDIR = (.*)$") (lambda _
(string-append "BINDIR = " out "/bin")))) (invoke "make" "install"))))))
#t))
(replace 'install
(lambda _
(invoke "make" "install")
#t)))))
(synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of (synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of
the λ-calculus") the λ-calculus")
(description "Dedukti is a proof-checker for the λΠ-calculus modulo (description "Dedukti is a proof-checker for the λΠ-calculus modulo