[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
27/34: gnu: Add dune-ordering.
From: |
guix-commits |
Subject: |
27/34: gnu: Add dune-ordering. |
Date: |
Thu, 8 Feb 2024 17:25:46 -0500 (EST) |
roptat pushed a commit to branch master
in repository guix.
commit b2a71b868ce3fed5779eebc172c239307bf9a4bc
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Wed Jan 10 08:43:28 2024 +0100
gnu: Add dune-ordering.
* gnu/packages/ocaml.scm (dune-ordering): New variable.
Change-Id: I78d81dfc2523b47bdca6430e2f9961cf39c7335a
---
gnu/packages/ocaml.scm | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 3a0c9c6da8..aaa9e23982 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2028,6 +2028,25 @@ defines its own algebra which some might find easier to
work with and reason
about.")
(license license:expat)))
+(define-public dune-ordering
+ (package
+ (inherit dune)
+ (name "dune-ordering")
+ (source (origin
+ (inherit (package-source dune))
+ (modules '((guix build utils)))
+ (snippet
+ `(begin
+ (delete-file-recursively "vendor/pp")
+ (delete-file-recursively "vendor/csexp")))))
+ (build-system dune-build-system)
+ (arguments
+ `(#:package "ordering"
+ ;; Tests have a cyclic dependency on stdune
+ #:tests? #f))
+ (synopsis "Dune element ordering")
+ (description "This library represents element ordering in OCaml.")))
+
(define-public ocaml-csexp
(package
(name "ocaml-csexp")
- 04/34: gnu: Update coq-coquelicot to 3.4.0., (continued)
- 04/34: gnu: Update coq-coquelicot to 3.4.0., guix-commits, 2024/02/08
- 05/34: gnu: Update coq-mathcomp to 1.17.0., guix-commits, 2024/02/08
- 03/34: gnu: Update coq-gappa to 1.5.3., guix-commits, 2024/02/08
- 08/34: gnu: Update coq-interval to 4.8.0., guix-commits, 2024/02/08
- 09/34: gnu: coq: Update to 8.17.1., guix-commits, 2024/02/08
- 13/34: gnu: ocaml-sexplib: Update to 0.16.0., guix-commits, 2024/02/08
- 14/34: gnu: ocaml-ppxlib: Update to 0.28., guix-commits, 2024/02/08
- 16/34: gnu: ocaml-bin-prot: Update to 0.16.0., guix-commits, 2024/02/08
- 19/34: gnu: ocaml-ppx-bench: Update to 0.16.0., guix-commits, 2024/02/08
- 23/34: gnu: Add ocaml-yaml., guix-commits, 2024/02/08
- 27/34: gnu: Add dune-ordering.,
guix-commits <=
- 20/34: gnu: Add ocaml-ppx-deriving-yojson., guix-commits, 2024/02/08
- 22/34: gnu: Add ocaml-junit-alcotest., guix-commits, 2024/02/08
- 32/34: gnu: frama-c: Update to 27.1., guix-commits, 2024/02/08
- 33/34: gnu: ocaml-base64: Update to 3.5.1., guix-commits, 2024/02/08
- 34/34: gnu: opam: Update to 2.1.5., guix-commits, 2024/02/08
- 25/34: gnu: Add ocaml-ppx-import., guix-commits, 2024/02/08
- 06/34: gnu: Update coq-autosubst to 1.8., guix-commits, 2024/02/08
- 02/34: gnu: Update coq-flocq to 4.1.1., guix-commits, 2024/02/08
- 07/34: gnu: Update coq-stdpp to 1.8.0., guix-commits, 2024/02/08
- 10/34: gnu: dune-bootstrap: Update to 3.11.0., guix-commits, 2024/02/08