[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64209] [PATCH v2 05/14] gnu: Add ocaml-ordering.
From: |
Benjamin |
Subject: |
[bug#64209] [PATCH v2 05/14] gnu: Add ocaml-ordering. |
Date: |
Tue, 8 Aug 2023 15:23:02 +0200 |
* gnu/packages/ocaml.scm (ocaml-ordering): New variable.
---
gnu/packages/ocaml.scm | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ec21a26d19..45e34c7d66 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9723,6 +9723,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 "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 v2 00/14] Reorder commits and better descriptions, Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 04/14] gnu: Add ocaml-ppx-yojson-conv-lib., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 03/14] gnu: Add ocamlformat-rpc-lib., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 01/14] gnu: Fix ocaml-dune-build-info, Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 02/14] gnu: Add ocaml-pp., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 05/14] gnu: Add ocaml-ordering.,
Benjamin <=
- [bug#64209] [PATCH v2 08/14] gnu: Add ocaml-chrome-trace., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 09/14] gnu: Add ocaml-xdg., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 10/14] gnu: Add ocamlc-loc., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 11/14] gnu: Add ocaml-fiber., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 06/14] gnu: Add ocaml-dyn., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 07/14] gnu: Add ocaml-stdune., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 13/14] gnu: Add ocaml-merlin-lib-4.9., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 14/14] gnu: Add ocaml-lsp-server., Benjamin, 2023/08/08
- [bug#64209] [PATCH v2 12/14] gnu: Add ocaml-dune-rpc., Benjamin, 2023/08/08