[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64209] [PATCH v3 05/14] gnu: Add ocaml-ordering.
From: |
Benjamin |
Subject: |
[bug#64209] [PATCH v3 05/14] gnu: Add ocaml-ordering. |
Date: |
Fri, 10 Nov 2023 16:46:17 +0100 |
* gnu/packages/ocaml.scm (ocaml-ordering): New variable.
Change-Id: I358f4759e050c2d2d24f611a70149bf38e2f1c59
---
gnu/packages/ocaml.scm | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6cf88e08c0..1b4bd8685e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9691,6 +9691,25 @@ (define-public ocaml-dune-build-info
reporting the version from the version control system during development to
get an precise reference of when the executable was built.")))
+(define-public ocaml-ordering
+ (package
+ (inherit dune)
+ (name "ocaml-ordering")
+ (build-system dune-build-system)
+ (arguments
+ '(#:package "ordering"
+ #:tests? #f
+ #:phases (modify-phases %standard-phases
+ (add-before 'build 'remove-vendor
+ (lambda _
+ (delete-file-recursively "vendor/csexp")
+ (delete-file-recursively "vendor/pp"))))))
+ (propagated-inputs (list ocaml-odoc))
+ (properties '())
+ (synopsis "Ocaml element ordering library")
+ (description "This library implement element ordering and a convenient
+operator for efficiently chaining multiple comparisons together.")))
+
(define-public ocaml-either
(package
(name "ocaml-either")
--
2.41.0
- [bug#64209] [PATCH v3 00/14] improve synopsies and descriptions, Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 06/14] gnu: Add ocaml-dyn., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 03/14] gnu: Add ocamlformat-rpc-lib., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 01/14] gnu: Fix ocaml-dune-build-info, Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 07/14] gnu: Add ocaml-stdune., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 11/14] gnu: Add ocaml-fiber., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 12/14] gnu: Add ocaml-dune-rpc., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 04/14] gnu: Add ocaml-ppx-yojson-conv-lib., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 02/14] gnu: Add ocaml-pp., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 08/14] gnu: Add ocaml-chrome-trace., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 05/14] gnu: Add ocaml-ordering.,
Benjamin <=
- [bug#64209] [PATCH v3 13/14] gnu: Add ocaml-merlin-lib-4.9., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 09/14] gnu: Add ocaml-xdg., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 14/14] gnu: Add ocaml-lsp-server., Benjamin, 2023/11/10
- [bug#64209] [PATCH v3 10/14] gnu: Add ocamlc-loc., Benjamin, 2023/11/10