[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
08/08: gnu: dedukti: Update to 2.7.
From: |
guix-commits |
Subject: |
08/08: gnu: dedukti: Update to 2.7. |
Date: |
Thu, 3 Nov 2022 08:58:29 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit e2802132e36ea8157da1c1c06217e4561b6cd79f
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Sat Jul 2 13:36:08 2022 +0200
gnu: dedukti: Update to 2.7.
* gnu/packages/ocaml.scm (dedukti): Update to 2.7.
---
gnu/packages/ocaml.scm | 31 ++++++-------------------------
1 file changed, 6 insertions(+), 25 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 47829473b4..96659632bf 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4675,7 +4675,7 @@ cross-platform SDL C library.")
(define-public dedukti
(package
(name "dedukti")
- (version "2.6.0")
+ (version "2.7")
(home-page "https://deducteam.github.io/")
(source
(origin
@@ -4686,31 +4686,12 @@ cross-platform SDL C library.")
(file-name (git-file-name name version))
(sha256
(base32
- "0frl3diff033i4fmq304b8wbsdnc9mvlhmwd7a3zd699ng2lzbxb"))))
- (inputs
- `(("menhir" ,ocaml-menhir)))
- (native-inputs
- (list ocamlbuild))
- (build-system ocaml-build-system)
+ "1dsr3s88kgmcg3najhc29cwfvsxa2plvjws1127fz75kmn15np28"))))
+ (build-system dune-build-system)
(arguments
- `(#:phases
- ,#~(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"))))))
+ `(#:test-target "tests"))
+ (inputs (list gmp ocaml-cmdliner ocaml-z3 z3))
+ (native-inputs (list ocaml-menhir))
(synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of
the λ-calculus")
(description "Dedukti is a proof-checker for the λΠ-calculus modulo
- branch master updated (058262eec4 -> e2802132e3), guix-commits, 2022/11/03
- 01/08: gnu: dune-bootstrap: Update to 3.5.0., guix-commits, 2022/11/03
- 02/08: gnu: ocaml-fileutils: Update to 0.6.4., guix-commits, 2022/11/03
- 08/08: gnu: dedukti: Update to 2.7.,
guix-commits <=
- 06/08: gnu: Remove emacs-flycheck-dedukti., guix-commits, 2022/11/03
- 07/08: gnu: Remove emacs-dedukti-mode., guix-commits, 2022/11/03
- 03/08: gnu: ocaml-digestif: Update to 1.1.3., guix-commits, 2022/11/03
- 05/08: gnu: ocaml-ssl: Update to 0.5.13., guix-commits, 2022/11/03
- 04/08: gnu: ocaml-ocp-index: Update to 1.3.4., guix-commits, 2022/11/03